Details

Time bar (total: 14.5s)

sample242.0ms

Algorithm
intervals
Results
55.0ms102×body1280valid
53.0ms95×body1280nan
29.0ms573×body80nan
24.0ms79×body640valid
17.0ms99×body640nan
8.0ms36×body320valid
6.0ms41×body320nan
4.0ms28×body160valid
2.0ms20×body160nan
1.0ms11×body80valid

simplify13.0ms

Counts
1 → 1
Iterations
IterNodes
done13
213
110
07

prune7.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 58.3b

localize17.0ms

Local error

Found 1 expressions with local error:

7.2b
(acos (+ x 1.0))

rewrite3.0ms

Algorithm
rewrite-expression-head
Rules
acos-asin add-sqr-sqrt pow1 *-un-lft-identity add-cbrt-cube add-exp-log add-cube-cbrt add-log-exp
Counts
1 → 8
Calls
1 calls:
2.0ms
(acos (+ x 1.0))

series2.0ms

Counts
1 → 3
Calls
1 calls:
2.0ms
(acos (+ x 1.0))

simplify3.0s

Counts
11 → 11
Iterations
IterNodes
done5001
81037
7308
6134
565
431
323
219
117
015

prune102.0ms

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 58.3b

localize52.0ms

Local error

Found 4 expressions with local error:

0.1b
(cbrt (* (* (acos (+ x 1.0)) (acos (+ x 1.0))) (acos (+ x 1.0))))
7.2b
(acos (+ x 1.0))
7.2b
(acos (+ x 1.0))
7.2b
(acos (+ x 1.0))

rewrite35.0ms

Algorithm
rewrite-expression-head
Rules
add-sqr-sqrt pow1 *-un-lft-identity add-cbrt-cube add-exp-log add-cube-cbrt add-log-exp
acos-asin
cbrt-prod pow1/3 pow3 rem-cbrt-cube
Counts
4 → 34
Calls
4 calls:
28.0ms
(cbrt (* (* (acos (+ x 1.0)) (acos (+ x 1.0))) (acos (+ x 1.0))))
2.0ms
(acos (+ x 1.0))
2.0ms
(acos (+ x 1.0))
2.0ms
(acos (+ x 1.0))

series9.0ms

Counts
4 → 12
Calls
4 calls:
3.0ms
(cbrt (* (* (acos (+ x 1.0)) (acos (+ x 1.0))) (acos (+ x 1.0))))
2.0ms
(acos (+ x 1.0))
2.0ms
(acos (+ x 1.0))
2.0ms
(acos (+ x 1.0))

simplify2.4s

Counts
46 → 46
Iterations
IterNodes
done5001
81611
7662
6343
5183
474
346
230
127
024

prune329.0ms

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 58.3b

regimes194.0ms

Accuracy

0% (0.0b remaining)

Error of 59.5b against oracle of 59.5b and baseline of 59.5b

bsearch0.0ms

simplify3.0ms

Iterations
IterNodes
done13
113
011

end0.0ms

sample8.1s

Algorithm
intervals
Results
2.8s3378×body1280valid
1.2s16704×body80nan
950.0ms2524×body640valid
838.0ms3015×body1280nan
445.0ms2534×body640nan
401.0ms1232×body320nan
339.0ms1240×body320valid
122.0ms629×body160nan
96.0ms628×body160valid
19.0ms230×body80valid