Details

Time bar (total: 10.7s)

sample21.0ms

Algorithm
intervals
Results
9.0ms256×body80valid

simplify2.1s

Counts
1 → 1
Iterations

Useful iterations: 6 (921.0ms)

IterNodesCost
01317
12617
26117
314017
436317
579015
6271513
done500113

prune7.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.5b

localize9.0ms

Local error

Found 3 expressions with local error:

0.0b
(- x (/ y (fma (/ y 2.0) (/ (- t) z) z)))
3.5b
(fma (/ y 2.0) (/ (- t) z) z)
4.8b
(/ y (fma (/ y 2.0) (/ (- t) z) z))

rewrite18.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:
12.0ms
(- x (/ y (fma (/ y 2.0) (/ (- t) z) z)))
0.0ms
(fma (/ y 2.0) (/ (- t) z) z)
2.0ms
(/ y (fma (/ y 2.0) (/ (- t) z) z))

series177.0ms

Counts
3 → 9
Calls
3 calls:
45.0ms
(- x (/ y (fma (/ y 2.0) (/ (- t) z) z)))
65.0ms
(fma (/ y 2.0) (/ (- t) z) z)
67.0ms
(/ y (fma (/ y 2.0) (/ (- t) z) z))

simplify2.0s

Counts
107 → 107
Iterations

Useful iterations: 3 (822.0ms)

IterNodesCost
01874444
14163973
211112947
342252300
done50002300

prune400.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.5b

localize11.0ms

Local error

Found 3 expressions with local error:

0.0b
(- x (/ y (fma (/ y 2.0) (/ (- t) z) z)))
3.5b
(fma (/ y 2.0) (/ (- t) z) z)
4.8b
(/ y (fma (/ y 2.0) (/ (- t) z) z))

rewrite14.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:
8.0ms
(- x (/ y (fma (/ y 2.0) (/ (- t) z) z)))
0.0ms
(fma (/ y 2.0) (/ (- t) z) z)
2.0ms
(/ y (fma (/ y 2.0) (/ (- t) z) z))

series182.0ms

Counts
3 → 9
Calls
3 calls:
44.0ms
(- x (/ y (fma (/ y 2.0) (/ (- t) z) z)))
68.0ms
(fma (/ y 2.0) (/ (- t) z) z)
71.0ms
(/ y (fma (/ y 2.0) (/ (- t) z) z))

simplify2.0s

Counts
107 → 107
Iterations

Useful iterations: 3 (832.0ms)

IterNodesCost
01874444
14163973
211112947
342252300
done50002300

prune231.0ms

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0.5b

localize16.0ms

Local error

Found 4 expressions with local error:

4.8b
(/ y (pow (cbrt (fma (/ y 2.0) (/ (- t) z) z)) 3))
9.1b
(cbrt (fma (/ y 2.0) (/ (- t) z) z))
9.1b
(cbrt (fma (/ y 2.0) (/ (- t) z) z))
9.1b
(cbrt (fma (/ y 2.0) (/ (- t) z) z))

rewrite12.0ms

Algorithm
rewrite-expression-head
Rules
54×times-frac
46×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
33×cbrt-prod
24×unpow-prod-down cube-prod
18×associate-/r*
9×add-exp-log
6×add-cbrt-cube
4×pow1 expm1-log1p-u cube-mult unpow3 log1p-expm1-u add-log-exp sqr-pow
3×pow1/3 div-exp associate-/l*
1×cbrt-undiv pow-to-exp frac-2neg pow-exp clear-num div-inv
Counts
4 → 130
Calls
4 calls:
6.0ms
(/ y (pow (cbrt (fma (/ y 2.0) (/ (- t) z) z)) 3))
0.0ms
(cbrt (fma (/ y 2.0) (/ (- t) z) z))
0.0ms
(cbrt (fma (/ y 2.0) (/ (- t) z) z))
1.0ms
(cbrt (fma (/ y 2.0) (/ (- t) z) z))

series667.0ms

Counts
4 → 12
Calls
4 calls:
68.0ms
(/ y (pow (cbrt (fma (/ y 2.0) (/ (- t) z) z)) 3))
198.0ms
(cbrt (fma (/ y 2.0) (/ (- t) z) z))
203.0ms
(cbrt (fma (/ y 2.0) (/ (- t) z) z))
197.0ms
(cbrt (fma (/ y 2.0) (/ (- t) z) z))

simplify451.0ms

Counts
142 → 142
Iterations

Useful iterations: 2 (126.0ms)

IterNodesCost
01683216
13282720
210472410
done50002410

prune418.0ms

Pruning

7 alts after pruning (5 fresh and 2 done)

Merged error: 0.5b

localize14.0ms

Local error

Found 3 expressions with local error:

0.0b
(- x (/ y (- z (* 0.5 (/ (* t y) z)))))
4.0b
(/ (* t y) z)
4.8b
(/ y (- z (* 0.5 (/ (* t y) z))))

rewrite24.0ms

Algorithm
rewrite-expression-head
Rules
55×add-sqr-sqrt
52×*-un-lft-identity
50×add-cube-cbrt
45×prod-diff
40×times-frac
10×add-exp-log add-cbrt-cube
8×associate-/r/
6×associate-/r*
5×flip3-- flip-- div-inv add-log-exp
4×associate-/l*
3×pow1 cbrt-undiv expm1-log1p-u fma-neg div-exp log1p-expm1-u
2×frac-2neg clear-num difference-of-squares
1×sub-neg diff-log prod-exp cbrt-unprod distribute-lft-out--
Counts
3 → 119
Calls
3 calls:
12.0ms
(- x (/ y (- z (* 0.5 (/ (* t y) z)))))
3.0ms
(/ (* t y) z)
4.0ms
(/ y (- z (* 0.5 (/ (* t y) z))))

series264.0ms

Counts
3 → 9
Calls
3 calls:
69.0ms
(- x (/ y (- z (* 0.5 (/ (* t y) z)))))
19.0ms
(/ (* t y) z)
177.0ms
(/ y (- z (* 0.5 (/ (* t y) z))))

simplify693.0ms

Counts
128 → 128
Iterations

Useful iterations: done (688.0ms)

IterNodesCost
02445251
15854688
218073497
done50003494

prune279.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.5b

regimes106.0ms

Accuracy

21.6% (0.9b remaining)

Error of 1.9b against oracle of 1.1b and baseline of 2.2b

bsearch67.0ms

Steps
ItersRangePoint
10
1.2490149496402511e+20
3.2848769185511157e+34
3.677808032124717e+22
1
6.051410757488695e-218
6.404454248345637e-218
6.139671630202931e-218

simplify3.0ms

Iterations

Useful iterations: 1 (2.0ms)

IterNodesCost
02855
13939
done3939

end0.0ms

sample516.0ms

Algorithm
intervals
Results
307.0ms8000×body80valid