Details

Time bar (total: 19.8s)

sample43.0ms

Algorithm
intervals
Results
20.0ms256×body80valid

simplify4.3s

Counts
1 → 1
Iterations

Useful iterations: 6 (2.0s)

IterNodesCost
01317
12617
26117
314717
435217
576815
6260113
done500013

prune12.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.3b

localize13.0ms

Local error

Found 2 expressions with local error:

2.4b
(fma (/ t z) (- (/ y 2.0)) z)
5.7b
(/ y (fma (/ t z) (- (/ y 2.0)) z))

rewrite8.0ms

Algorithm
rewrite-expression-head
Rules
10×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
9×times-frac
4×add-exp-log add-cbrt-cube
3×associate-/r* associate-/l*
2×pow1 expm1-log1p-u log1p-expm1-u add-log-exp
1×cbrt-undiv frac-2neg div-exp clear-num fma-udef div-inv
Counts
2 → 39
Calls
2 calls:
1.0ms
(fma (/ t z) (- (/ y 2.0)) z)
5.0ms
(/ y (fma (/ t z) (- (/ y 2.0)) z))

series204.0ms

Counts
2 → 6
Calls
2 calls:
74.0ms
(fma (/ t z) (- (/ y 2.0)) z)
130.0ms
(/ y (fma (/ t z) (- (/ y 2.0)) z))

simplify2.0s

Counts
45 → 45
Iterations

Useful iterations: 3 (147.0ms)

IterNodesCost
067697
1113688
2247626
3575625
41846625
done5001625

prune544.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.2b

localize22.0ms

Local error

Found 4 expressions with local error:

2.4b
(fma (/ t z) (- (/ y 2.0)) z)
10.4b
(cbrt (fma (/ t z) (- (/ y 2.0)) z))
10.4b
(cbrt (fma (/ t z) (- (/ y 2.0)) z))
10.4b
(cbrt (fma (/ t z) (- (/ y 2.0)) z))

rewrite6.0ms

Algorithm
rewrite-expression-head
Rules
9×cbrt-prod
7×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×pow1/3
1×fma-udef
Counts
4 → 49
Calls
4 calls:
0.0ms
(fma (/ t z) (- (/ y 2.0)) z)
1.0ms
(cbrt (fma (/ t z) (- (/ y 2.0)) z))
2.0ms
(cbrt (fma (/ t z) (- (/ y 2.0)) z))
1.0ms
(cbrt (fma (/ t z) (- (/ y 2.0)) z))

series1.5s

Counts
4 → 12
Calls
4 calls:
100.0ms
(fma (/ t z) (- (/ y 2.0)) z)
423.0ms
(cbrt (fma (/ t z) (- (/ y 2.0)) z))
506.0ms
(cbrt (fma (/ t z) (- (/ y 2.0)) z))
481.0ms
(cbrt (fma (/ t z) (- (/ y 2.0)) z))

simplify1.5s

Counts
61 → 61
Iterations

Useful iterations: done (1.5s)

IterNodesCost
071926
1147908
2392824
31382806
done5000785

prune352.0ms

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 0.2b

localize48.0ms

Local error

Found 4 expressions with local error:

2.6b
(/ (* (cbrt y) (cbrt y)) (* (cbrt (fma (/ t z) (- (/ y 2.0)) z)) (cbrt (fma (/ t z) (- (/ y 2.0)) z))))
10.4b
(cbrt (fma (/ t z) (- (/ y 2.0)) z))
10.4b
(cbrt (fma (/ t z) (- (/ y 2.0)) z))
10.4b
(cbrt (fma (/ t z) (- (/ y 2.0)) z))

rewrite33.0ms

Algorithm
rewrite-expression-head
Rules
16×add-exp-log
9×cbrt-prod
8×add-cbrt-cube
7×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
4×pow1 cbrt-undiv expm1-log1p-u div-exp prod-exp cbrt-unprod log1p-expm1-u add-log-exp
3×pow1/3
1×frac-2neg times-frac clear-num associate-/r* div-inv associate-/l*
Counts
4 → 62
Calls
4 calls:
27.0ms
(/ (* (cbrt y) (cbrt y)) (* (cbrt (fma (/ t z) (- (/ y 2.0)) z)) (cbrt (fma (/ t z) (- (/ y 2.0)) z))))
1.0ms
(cbrt (fma (/ t z) (- (/ y 2.0)) z))
1.0ms
(cbrt (fma (/ t z) (- (/ y 2.0)) z))
1.0ms
(cbrt (fma (/ t z) (- (/ y 2.0)) z))

series1.8s

Counts
4 → 12
Calls
4 calls:
352.0ms
(/ (* (cbrt y) (cbrt y)) (* (cbrt (fma (/ t z) (- (/ y 2.0)) z)) (cbrt (fma (/ t z) (- (/ y 2.0)) z))))
487.0ms
(cbrt (fma (/ t z) (- (/ y 2.0)) z))
498.0ms
(cbrt (fma (/ t z) (- (/ y 2.0)) z))
478.0ms
(cbrt (fma (/ t z) (- (/ y 2.0)) z))

simplify2.8s

Counts
74 → 74
Iterations

Useful iterations: done (2.8s)

IterNodesCost
01691753
14071668
212821400
344751309
done50001306

prune515.0ms

Pruning

6 alts after pruning (3 fresh and 3 done)

Merged error: 0.2b

localize28.0ms

Local error

Found 2 expressions with local error:

4.4b
(* (- (/ y z)) (/ t 2.0))
5.7b
(/ y (+ (* (- (/ y z)) (/ t 2.0)) z))

rewrite98.0ms

Algorithm
rewrite-expression-head
Rules
37×add-sqr-sqrt times-frac
32×add-cube-cbrt *-un-lft-identity
30×associate-*l*
13×distribute-lft-neg-in distribute-rgt-neg-in associate-*r*
9×add-exp-log add-cbrt-cube
4×pow1 div-inv
3×associate-/r* associate-/l*
2×cbrt-undiv expm1-log1p-u div-exp prod-exp associate-/r/ cbrt-unprod log1p-expm1-u distribute-neg-frac add-log-exp unswap-sqr
1×distribute-lft-neg-out frac-times neg-mul-1 frac-2neg flip3-+ associate-*r/ pow-prod-down associate-*l/ clear-num *-commutative flip-+
Counts
2 → 95
Calls
2 calls:
52.0ms
(* (- (/ y z)) (/ t 2.0))
38.0ms
(/ y (+ (* (- (/ y z)) (/ t 2.0)) z))

series312.0ms

Counts
2 → 6
Calls
2 calls:
45.0ms
(* (- (/ y z)) (/ t 2.0))
266.0ms
(/ y (+ (* (- (/ y z)) (/ t 2.0)) z))

simplify1.7s

Counts
101 → 101
Iterations

Useful iterations: 2 (320.0ms)

IterNodesCost
01841295
14911203
215921127
done50001127

prune411.0ms

Pruning

6 alts after pruning (2 fresh and 4 done)

Merged error: 0.2b

regimes253.0ms

Accuracy

0% (0.5b remaining)

Error of 1.0b against oracle of 0.5b and baseline of 1.0b

bsearch0.0ms

simplify3.0ms

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01113
11313
done1313

end0.0ms

sample1.3s

Algorithm
intervals
Results
796.0ms8000×body80valid