Details

Time bar (total: 10.2s)

sample18.0ms

Algorithm
intervals
Results
6.0ms324×body80valid

simplify57.0ms

Counts
1 → 1
Iterations

Useful iterations: 7 (40.0ms)

IterNodesCost
067
1167
2247
3377
4447
5507
6547
7646
8666
done666

prune5.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.1b

localize4.0ms

Local error

Found 1 expressions with local error:

2.9b
(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:
0.0ms
(fma (/ y z) x x)

series28.0ms

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

simplify3.1s

Counts
13 → 13
Iterations

Useful iterations: 2 (8.0ms)

IterNodesCost
018110
126107
25695
319995
482395
5383095
done500095

prune30.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.0b

localize5.0ms

Local error

Found 1 expressions with local error:

3.4b
(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)

series34.0ms

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

simplify1.9s

Counts
13 → 13
Iterations

Useful iterations: 2 (8.0ms)

IterNodesCost
018110
125107
25095
316195
456295
5254195
done500095

prune26.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0.0b

localize5.0ms

Local error

Found 2 expressions with local error:

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

rewrite37.0ms

Algorithm
rewrite-expression-head
Rules
9×add-exp-log add-cbrt-cube
8×add-sqr-sqrt *-un-lft-identity
6×add-cube-cbrt
4×pow1 associate-*r/ associate-*r*
3×times-frac associate-*l* associate-/r*
2×cbrt-undiv expm1-log1p-u flip3-+ div-exp prod-exp cbrt-unprod flip-+ log1p-expm1-u associate-/l/ add-log-exp
1×distribute-rgt-in frac-2neg distribute-lft-in pow-prod-down clear-num *-commutative div-inv distribute-lft-out associate-/l* unswap-sqr
Counts
2 → 50
Calls
2 calls:
18.0ms
(* x (+ y z))
17.0ms
(/ (* x (+ y z)) z)

series67.0ms

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

simplify1.8s

Counts
56 → 56
Iterations

Useful iterations: 3 (938.0ms)

IterNodesCost
089486
1234461
2821403
33779400
done5000400

prune85.0ms

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0b

localize7.0ms

Local error

Found 2 expressions with local error:

0.0b
(/ z (+ y z))
2.5b
(/ x (/ z (+ y z)))

rewrite31.0ms

Algorithm
rewrite-expression-head
Rules
114×times-frac
94×*-un-lft-identity
62×add-sqr-sqrt add-cube-cbrt
22×associate-/r*
16×distribute-lft-out
11×associate-/r/
9×add-exp-log add-cbrt-cube
6×div-inv associate-/l*
5×flip3-+ flip-+
4×cbrt-undiv div-exp
2×pow1 expm1-log1p-u frac-2neg clear-num log1p-expm1-u add-log-exp
Counts
2 → 127
Calls
2 calls:
10.0ms
(/ z (+ y z))
15.0ms
(/ x (/ z (+ y z)))

series89.0ms

Counts
2 → 6
Calls
2 calls:
40.0ms
(/ z (+ y z))
49.0ms
(/ x (/ z (+ y z)))

simplify1.9s

Counts
133 → 133
Iterations

Useful iterations: 3 (1.1s)

IterNodesCost
01911786
14071657
213551589
344201580
done50001580

prune232.0ms

Pruning

5 alts after pruning (2 fresh and 3 done)

Merged error: 0b

regimes112.0ms

Accuracy

38.3% (1.9b remaining)

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

bsearch55.0ms

Steps
ItersRangePoint
9
1.367917306434864e-69
8.623116197827061e-64
4.552799791601322e-64
10
-1.5975536252165624e-24
-7.026907416873379e-35
-8.016360700427365e-25

simplify2.0ms

Iterations

Useful iterations: 1 (1.0ms)

IterNodesCost
01428
11922
done1922

end0.0ms

sample460.0ms

Algorithm
intervals
Results
197.0ms9550×body80valid