Details

Time bar (total: 16.2s)

sample96.0ms

Algorithm
intervals
Results
40.0ms48×body2560valid
22.0ms43×body1280valid
9.0ms131×body80valid
5.0ms15×body640valid
2.0ms11×body160valid
2.0msbody320valid

simplify4.7s

Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
044
184
2134
3314
4794
53654
631844
done50024

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 29.9b

localize11.0ms

Local error

Found 1 expressions with local error:

29.6b
(cos (pow x 2.0))

rewrite13.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
Counts
1 → 7
Calls
1 calls:
13.0ms
(cos (pow x 2.0))

series583.0ms

Counts
1 → 3
Calls
1 calls:
582.0ms
(cos (pow x 2.0))

simplify1.4s

Counts
10 → 10
Iterations

Useful iterations: 4 (141.0ms)

IterNodesCost
02471
14171
26963
315160
438856
5149756
done500056

prune86.0ms

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 29.5b

localize22.0ms

Local error

Found 4 expressions with local error:

0.3b
(cbrt (cos (pow x 2.0)))
29.6b
(cos (pow x 2.0))
29.6b
(cos (pow x 2.0))
29.6b
(cos (pow x 2.0))

rewrite39.0ms

Algorithm
rewrite-expression-head
Rules
add-sqr-sqrt *-un-lft-identity add-cube-cbrt
pow1 add-cbrt-cube add-exp-log add-log-exp
cbrt-prod
pow1/3
Counts
4 → 32
Calls
4 calls:
4.0ms
(cbrt (cos (pow x 2.0)))
11.0ms
(cos (pow x 2.0))
11.0ms
(cos (pow x 2.0))
11.0ms
(cos (pow x 2.0))

series2.5s

Counts
4 → 12
Calls
4 calls:
798.0ms
(cbrt (cos (pow x 2.0)))
564.0ms
(cos (pow x 2.0))
550.0ms
(cos (pow x 2.0))
558.0ms
(cos (pow x 2.0))

simplify3.1s

Counts
44 → 44
Iterations

Useful iterations: 4 (581.0ms)

IterNodesCost
037337
168333
2160279
3470264
41854248
done5001248

prune278.0ms

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 29.5b

regimes218.0ms

Accuracy

0% (0.4b remaining)

Error of 30.2b against oracle of 29.7b and baseline of 30.2b

bsearch0.0ms

simplify3.0ms

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01032
11232
done1232

end0.0ms

sample3.2s

Algorithm
intervals
Results
1.4s1492×body2560valid
699.0ms1278×body1280valid
388.0ms4010×body80valid
239.0ms625×body640valid
67.0ms320×body320valid
43.0ms275×body160valid