Details

Time bar (total: 16.2s)

sample39.0ms

Algorithm
intervals
Results
16.0ms313×body80valid

simplify131.0ms

Counts
1 → 1
Iterations

Useful iterations: 7 (87.0ms)

IterNodesCost
067
1167
2247
3377
4447
5507
6547
7646
8666
done666

prune10.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.1b

localize11.0ms

Local error

Found 1 expressions with local error:

4.2b
(fma (/ y z) x x)

rewrite1.0ms

Algorithm
rewrite-expression-head
Rules
1×pow1 add-exp-log add-sqr-sqrt expm1-log1p-u add-cube-cbrt *-un-lft-identity add-cbrt-cube fma-udef log1p-expm1-u add-log-exp
Counts
1 → 10
Calls
1 calls:
1.0ms
(fma (/ y z) x x)

series37.0ms

Counts
1 → 3
Calls
1 calls:
36.0ms
(fma (/ y z) x x)

simplify5.1s

Counts
13 → 13
Iterations

Useful iterations: 2 (19.0ms)

IterNodesCost
018110
126107
25695
319995
482395
5383095
done500095

prune48.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.0b

localize18.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt (fma (/ y z) x x))
4.2b
(fma (/ y z) x x)
4.2b
(fma (/ y z) x x)
4.2b
(fma (/ y z) x x)

rewrite6.0ms

Algorithm
rewrite-expression-head
Rules
5×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
4×pow1 add-exp-log expm1-log1p-u add-cbrt-cube log1p-expm1-u add-log-exp
3×cbrt-prod fma-udef
1×pow1/3
Counts
4 → 43
Calls
4 calls:
2.0ms
(cbrt (fma (/ y z) x x))
1.0ms
(fma (/ y z) x x)
1.0ms
(fma (/ y z) x x)
1.0ms
(fma (/ y z) x x)

series339.0ms

Counts
4 → 12
Calls
4 calls:
202.0ms
(cbrt (fma (/ y z) x x))
45.0ms
(fma (/ y z) x x)
42.0ms
(fma (/ y z) x x)
49.0ms
(fma (/ y z) x x)

simplify2.9s

Counts
55 → 55
Iterations

Useful iterations: done (2.9s)

IterNodesCost
055515
1103501
2248450
3850443
43274430
done5000426

prune221.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.0b

localize7.0ms

Local error

Found 1 expressions with local error:

5.8b
(fma (/ x z) y x)

rewrite1.0ms

Algorithm
rewrite-expression-head
Rules
1×pow1 add-exp-log add-sqr-sqrt expm1-log1p-u add-cube-cbrt *-un-lft-identity add-cbrt-cube fma-udef log1p-expm1-u add-log-exp
Counts
1 → 10
Calls
1 calls:
0.0ms
(fma (/ x z) y x)

series53.0ms

Counts
1 → 3
Calls
1 calls:
52.0ms
(fma (/ x z) y x)

simplify3.2s

Counts
13 → 13
Iterations

Useful iterations: 2 (18.0ms)

IterNodesCost
018110
125107
25095
316195
456295
5254195
done500095

prune32.0ms

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0.0b

localize13.0ms

Local error

Found 2 expressions with local error:

0.0b
(+ (/ (* x y) z) x)
5.9b
(/ (* x y) z)

rewrite53.0ms

Algorithm
rewrite-expression-head
Rules
8×*-un-lft-identity
7×add-exp-log fma-def add-cbrt-cube
6×add-sqr-sqrt add-cube-cbrt times-frac
4×add-log-exp
3×associate-/r*
2×pow1 cbrt-undiv expm1-log1p-u div-exp log1p-expm1-u div-inv
1×+-commutative frac-2neg flip3-+ prod-exp clear-num sum-log cbrt-unprod flip-+ distribute-lft-out associate-/l*
Counts
2 → 44
Calls
2 calls:
30.0ms
(+ (/ (* x y) z) x)
20.0ms
(/ (* x y) z)

series64.0ms

Counts
2 → 6
Calls
2 calls:
37.0ms
(+ (/ (* x y) z) x)
27.0ms
(/ (* x y) z)

simplify2.7s

Counts
50 → 50
Iterations

Useful iterations: 3 (842.0ms)

IterNodesCost
071387
1175364
2572332
32527312
done5000312

prune149.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.0b

regimes150.0ms

Accuracy

0.3% (3.2b remaining)

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

bsearch99.0ms

Steps
ItersRangePoint
9
6.2592188100796635e-105
6.902953966326481e-98
2.7394683347893706e-99
8
2.8206985886013756e-298
1.3202095182649661e-295
3.887474187627611e-297

simplify3.0ms

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01930
12430
done2430

end0.0ms

sample848.0ms

Algorithm
intervals
Results
366.0ms9595×body80valid