Details

Time bar (total: 13.2s)

sample37.0ms

Algorithm
intervals
Results
21.0ms485×body80valid

simplify5.2s

Counts
1 → 1
Iterations

Useful iterations: 4 (29.0ms)

IterNodesCost
067
1117
2257
3467
4766
51386
63836
713596
done50006

prune8.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize6.0ms

Local error

Found 1 expressions with local error:

0.0b
(exp (fma x x (- 1.0)))

rewrite3.0ms

Algorithm
rewrite-expression-head
Rules
3×exp-prod
2×add-sqr-sqrt add-cube-cbrt *-un-lft-identity add-log-exp
1×pow1 add-exp-log expm1-log1p-u exp-sum add-cbrt-cube fma-udef log1p-expm1-u rem-exp-log
Counts
1 → 14
Calls
1 calls:
2.0ms
(exp (fma x x (- 1.0)))

series35.0ms

Counts
1 → 3
Calls
1 calls:
35.0ms
(exp (fma x x (- 1.0)))

simplify3.1s

Counts
17 → 17
Iterations

Useful iterations: 5 (1.8s)

IterNodesCost
034147
163142
2136129
3360125
41068124
52997123
done5000123

prune66.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize14.0ms

Local error

Found 3 expressions with local error:

0.0b
(exp (fma x x (- 1.0)))
1.0b
(pow (exp (fma x x (- 1.0))) 3)
1.5b
(cbrt (pow (exp (fma x x (- 1.0))) 3))

rewrite20.0ms

Algorithm
rewrite-expression-head
Rules
14×cbrt-prod
11×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
8×unpow-prod-down cube-prod
6×exp-prod
5×exp-sum fma-udef
4×pow1 pow-pow add-cbrt-cube add-log-exp
3×add-exp-log expm1-log1p-u pow-unpow log1p-expm1-u
2×cube-mult unpow3 sqr-pow
1×pow-to-exp pow1/3 pow-exp rem-cbrt-cube rem-exp-log rem-cube-cbrt
Counts
3 → 69
Calls
3 calls:
4.0ms
(exp (fma x x (- 1.0)))
9.0ms
(pow (exp (fma x x (- 1.0))) 3)
4.0ms
(cbrt (pow (exp (fma x x (- 1.0))) 3))

series241.0ms

Counts
3 → 9
Calls
3 calls:
35.0ms
(exp (fma x x (- 1.0)))
160.0ms
(pow (exp (fma x x (- 1.0))) 3)
46.0ms
(cbrt (pow (exp (fma x x (- 1.0))) 3))

simplify3.0s

Counts
78 → 78
Iterations

Useful iterations: done (2.9s)

IterNodesCost
090975
1185778
2531714
33076693
done5000690

prune168.0ms

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes16.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
056
done56

end0.0ms

sample1.4s

Algorithm
intervals
Results
1.0s15869×body80valid