Details

Time bar (total: 8.5s)

sample39.0ms

Algorithm
intervals
Results
16.0ms256×body80valid
5.0ms78×body80nan

simplify9.0ms

Counts
1 → 1
Iterations

Useful iterations: 1 (3.0ms)

IterNodesCost
0810
1128
2138
done138

prune11.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize14.0ms

Local error

Found 3 expressions with local error:

0.0b
(+ (fabs x) (sqrt (sqrt (- 1.0 x))))
0.0b
(sqrt (- 1.0 x))
0.0b
(sqrt (sqrt (- 1.0 x)))

rewrite88.0ms

Algorithm
rewrite-expression-head
Rules
19×sqrt-prod
13×add-sqr-sqrt
12×*-un-lft-identity
pow1 sqrt-div add-cube-cbrt
sqrt-pow1 add-log-exp
rem-sqrt-square add-cbrt-cube pow1/2 add-exp-log
flip3-- flip-- distribute-lft-out-- difference-of-squares
+-commutative sum-log flip3-+ flip-+ distribute-lft-out
Counts
3 → 52
Calls
3 calls:
55.0ms
(+ (fabs x) (sqrt (sqrt (- 1.0 x))))
13.0ms
(sqrt (- 1.0 x))
17.0ms
(sqrt (sqrt (- 1.0 x)))

series466.0ms

Counts
3 → 9
Calls
3 calls:
205.0ms
(+ (fabs x) (sqrt (sqrt (- 1.0 x))))
64.0ms
(sqrt (- 1.0 x))
197.0ms
(sqrt (sqrt (- 1.0 x)))

simplify3.2s

Counts
61 → 61
Iterations

Useful iterations: done (3.1s)

IterNodesCost
0149777
1341699
21024663
33892628
done5000616

prune357.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize24.0ms

Local error

Found 4 expressions with local error:

0.0b
(sqrt (cbrt (sqrt (- 1.0 x))))
0.1b
(* (fabs (cbrt (sqrt (- 1.0 x)))) (sqrt (cbrt (sqrt (- 1.0 x)))))
0.2b
(cbrt (sqrt (- 1.0 x)))
0.2b
(cbrt (sqrt (- 1.0 x)))

rewrite114.0ms

Algorithm
rewrite-expression-head
Rules
47×sqrt-prod
36×cbrt-prod
35×add-sqr-sqrt
24×*-un-lft-identity
16×add-cube-cbrt
14×associate-*r*
12×sqrt-div
cbrt-div
pow1
add-cbrt-cube add-exp-log
flip3-- flip-- distribute-lft-out-- add-log-exp difference-of-squares unswap-sqr
rem-sqrt-square pow1/3 associate-*l*
sqrt-pow1 associate-*r/
pow1/2 pow-prod-down prod-exp *-commutative cbrt-unprod
Counts
4 → 96
Calls
4 calls:
18.0ms
(sqrt (cbrt (sqrt (- 1.0 x))))
70.0ms
(* (fabs (cbrt (sqrt (- 1.0 x)))) (sqrt (cbrt (sqrt (- 1.0 x)))))
9.0ms
(cbrt (sqrt (- 1.0 x)))
10.0ms
(cbrt (sqrt (- 1.0 x)))

series785.0ms

Counts
4 → 12
Calls
4 calls:
194.0ms
(sqrt (cbrt (sqrt (- 1.0 x))))
207.0ms
(* (fabs (cbrt (sqrt (- 1.0 x)))) (sqrt (cbrt (sqrt (- 1.0 x)))))
195.0ms
(cbrt (sqrt (- 1.0 x)))
188.0ms
(cbrt (sqrt (- 1.0 x)))

simplify1.4s

Counts
108 → 108
Iterations

Useful iterations: done (1.4s)

IterNodesCost
02231739
14931620
216291530
done50001452

prune812.0ms

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes23.0ms

Accuracy

0% (0.0b remaining)

Error of 0.0b against oracle of 0.0b and baseline of 0.0b

bsearch0.0ms

simplify2.0ms

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
078
188
done88

end0.0ms

sample1.3s

Algorithm
intervals
Results
708.0ms8000×body80valid
224.0ms2742×body80nan