Details

Time bar (total: 22.4s)

sample51.0ms

Algorithm
intervals
Results
24.0ms256×body80valid

simplify4.6s

Counts
1 → 1
Iterations

Useful iterations: 6 (2.0s)

IterNodesCost
01317
12617
26117
314717
435217
576815
6260113
done500013

prune14.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.9b

localize22.0ms

Local error

Found 3 expressions with local error:

0.0b
(- x (/ y (fma (/ t z) (- (/ y 2.0)) z)))
2.2b
(fma (/ t z) (- (/ y 2.0)) z)
6.0b
(/ y (fma (/ t z) (- (/ y 2.0)) z))

rewrite56.0ms

Algorithm
rewrite-expression-head
Rules
51×add-sqr-sqrt
48×*-un-lft-identity
46×add-cube-cbrt
39×prod-diff
37×times-frac
5×add-exp-log add-cbrt-cube add-log-exp
4×div-inv
3×pow1 expm1-log1p-u fma-neg associate-/r* log1p-expm1-u associate-/l*
2×difference-of-squares
1×cbrt-undiv sub-neg flip3-- frac-2neg diff-log div-exp clear-num flip-- fma-udef distribute-lft-out--
Counts
3 → 98
Calls
3 calls:
37.0ms
(- x (/ y (fma (/ t z) (- (/ y 2.0)) z)))
1.0ms
(fma (/ t z) (- (/ y 2.0)) z)
10.0ms
(/ y (fma (/ t z) (- (/ y 2.0)) z))

series306.0ms

Counts
3 → 9
Calls
3 calls:
99.0ms
(- x (/ y (fma (/ t z) (- (/ y 2.0)) z)))
87.0ms
(fma (/ t z) (- (/ y 2.0)) z)
120.0ms
(/ y (fma (/ t z) (- (/ y 2.0)) z))

simplify3.3s

Counts
107 → 107
Iterations

Useful iterations: 3 (1.6s)

IterNodesCost
01874444
14153973
210512947
337252300
done50012300

prune382.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.9b

localize27.0ms

Local error

Found 4 expressions with local error:

0.0b
(- x (* y (/ 1 (fma (/ t z) (- (/ y 2.0)) z))))
0.3b
(/ 1 (fma (/ t z) (- (/ y 2.0)) z))
2.2b
(fma (/ t z) (- (/ y 2.0)) z)
5.8b
(* y (/ 1 (fma (/ t z) (- (/ y 2.0)) z)))

rewrite32.0ms

Algorithm
rewrite-expression-head
Rules
29×add-sqr-sqrt
23×*-un-lft-identity
22×add-cube-cbrt
20×times-frac
17×add-exp-log
13×associate-*r*
11×add-cbrt-cube
7×pow1
6×add-log-exp
4×expm1-log1p-u div-exp prod-exp log1p-expm1-u
3×fma-neg associate-*l* prod-diff associate-/r* associate-/l* unswap-sqr
2×cbrt-undiv rec-exp 1-exp cbrt-unprod div-inv
1×sub-neg flip3-- pow-flip frac-2neg diff-log associate-*r/ pow-prod-down clear-num un-div-inv *-commutative flip-- fma-udef inv-pow
Counts
4 → 101
Calls
4 calls:
6.0ms
(- x (* y (/ 1 (fma (/ t z) (- (/ y 2.0)) z))))
5.0ms
(/ 1 (fma (/ t z) (- (/ y 2.0)) z))
0.0ms
(fma (/ t z) (- (/ y 2.0)) z)
17.0ms
(* y (/ 1 (fma (/ t z) (- (/ y 2.0)) z)))

series510.0ms

Counts
4 → 12
Calls
4 calls:
69.0ms
(- x (* y (/ 1 (fma (/ t z) (- (/ y 2.0)) z))))
252.0ms
(/ 1 (fma (/ t z) (- (/ y 2.0)) z))
70.0ms
(fma (/ t z) (- (/ y 2.0)) z)
118.0ms
(* y (/ 1 (fma (/ t z) (- (/ y 2.0)) z)))

simplify4.8s

Counts
113 → 113
Iterations

Useful iterations: 4 (3.1s)

IterNodesCost
01371911
12871670
26201492
316481487
447481439
done50001439

prune403.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.9b

localize23.0ms

Local error

Found 4 expressions with local error:

0.0b
(- x (* y (/ -1 (- (* (/ t z) (/ y 2.0)) z))))
0.3b
(/ -1 (- (* (/ t z) (/ y 2.0)) z))
4.7b
(* (/ t z) (/ y 2.0))
5.8b
(* y (/ -1 (- (* (/ t z) (/ y 2.0)) z)))

rewrite167.0ms

Algorithm
rewrite-expression-head
Rules
53×add-sqr-sqrt
41×times-frac
36×add-cube-cbrt *-un-lft-identity
28×associate-*r*
23×add-exp-log add-cbrt-cube
16×associate-*l*
8×pow1
6×cbrt-undiv div-exp prod-exp cbrt-unprod add-log-exp unswap-sqr
4×expm1-log1p-u associate-/r/ log1p-expm1-u div-inv
3×flip3-- fma-neg prod-diff associate-/r* flip-- associate-/l*
2×associate-*r/ pow-prod-down *-commutative
1×frac-times sub-neg frac-2neg diff-log associate-*l/ clear-num
Counts
4 → 139
Calls
4 calls:
6.0ms
(- x (* y (/ -1 (- (* (/ t z) (/ y 2.0)) z))))
23.0ms
(/ -1 (- (* (/ t z) (/ y 2.0)) z))
32.0ms
(* (/ t z) (/ y 2.0))
100.0ms
(* y (/ -1 (- (* (/ t z) (/ y 2.0)) z)))

series452.0ms

Counts
4 → 12
Calls
4 calls:
54.0ms
(- x (* y (/ -1 (- (* (/ t z) (/ y 2.0)) z))))
254.0ms
(/ -1 (- (* (/ t z) (/ y 2.0)) z))
40.0ms
(* (/ t z) (/ y 2.0))
105.0ms
(* y (/ -1 (- (* (/ t z) (/ y 2.0)) z)))

simplify2.2s

Counts
151 → 151
Iterations

Useful iterations: done (2.2s)

IterNodesCost
02372329
15972205
218711927
done50001922

prune585.0ms

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0.9b

localize33.0ms

Local error

Found 4 expressions with local error:

0.5b
(cbrt y)
2.2b
(fma (/ t z) (- (/ y 2.0)) z)
2.3b
(/ (fma (/ t z) (- (/ y 2.0)) z) (cbrt y))
4.0b
(/ (* (cbrt y) (cbrt y)) (/ (fma (/ t z) (- (/ y 2.0)) z) (cbrt y)))

rewrite73.0ms

Algorithm
rewrite-expression-head
Rules
76×times-frac
46×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
33×cbrt-prod
28×associate-/r*
18×add-exp-log
11×add-cbrt-cube
7×cbrt-undiv div-exp
4×pow1 expm1-log1p-u log1p-expm1-u div-inv associate-/l* add-log-exp
2×frac-2neg prod-exp clear-num cbrt-unprod
1×pow1/3 associate-/r/ fma-udef
Counts
4 → 130
Calls
4 calls:
2.0ms
(cbrt y)
1.0ms
(fma (/ t z) (- (/ y 2.0)) z)
12.0ms
(/ (fma (/ t z) (- (/ y 2.0)) z) (cbrt y))
48.0ms
(/ (* (cbrt y) (cbrt y)) (/ (fma (/ t z) (- (/ y 2.0)) z) (cbrt y)))

series834.0ms

Counts
4 → 12
Calls
4 calls:
316.0ms
(cbrt y)
79.0ms
(fma (/ t z) (- (/ y 2.0)) z)
279.0ms
(/ (fma (/ t z) (- (/ y 2.0)) z) (cbrt y))
161.0ms
(/ (* (cbrt y) (cbrt y)) (/ (fma (/ t z) (- (/ y 2.0)) z) (cbrt y)))

simplify1.4s

Counts
142 → 142
Iterations

Useful iterations: done (1.4s)

IterNodesCost
01982931
14322831
216452469
done50002402

prune680.0ms

Pruning

7 alts after pruning (5 fresh and 2 done)

Merged error: 0.6b

regimes291.0ms

Accuracy

0% (0.6b remaining)

Error of 1.2b against oracle of 0.6b and baseline of 1.2b

bsearch0.0ms

simplify3.0ms

Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
01315
11515
done1515

end0.0ms

sample1.2s

Algorithm
intervals
Results
797.0ms8000×body80valid