Details

Time bar (total: 28.7s)

sample38.0ms

Algorithm
intervals
Results
12.0ms289×body80valid

simplify9.3s

Counts
1 → 1
Iterations
IterNodes
done5000
364868
354711
344563
334402
324238
314081
303929
293759
283611
273450
263289
253132
242980
232810
222662
212501
202348
192191
182039
171869
161721
151557
141404
131231
121066
11861
10610
9405
8269
7211
6179
5147
4113
374
248
125
013

prune41.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize39.0ms

Local error

Found 2 expressions with local error:

0.0b
(fma (/ x 8.0) 1.0 (- t (/ (* z y) 2.0)))
0.0b
(/ (* z y) 2.0)

rewrite25.0ms

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

series155.0ms

Counts
2 → 6
Calls
2 calls:
124.0ms
(fma (/ x 8.0) 1.0 (- t (/ (* z y) 2.0)))
31.0ms
(/ (* z y) 2.0)

simplify4.1s

Counts
41 → 41
Iterations
IterNodes
done5243
32619
2561
1161
075

prune609.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize103.0ms

Local error

Found 4 expressions with local error:

0.5b
(* (cbrt (fma (/ x 8.0) 1.0 (- t (/ (* z y) 2.0)))) (cbrt (fma (/ x 8.0) 1.0 (- t (/ (* z y) 2.0)))))
0.5b
(cbrt (fma (/ x 8.0) 1.0 (- t (/ (* z y) 2.0))))
0.5b
(cbrt (fma (/ x 8.0) 1.0 (- t (/ (* z y) 2.0))))
0.5b
(cbrt (fma (/ x 8.0) 1.0 (- t (/ (* z y) 2.0))))

rewrite35.0ms

Algorithm
rewrite-expression-head
Rules
25×cbrt-prod
23×add-sqr-sqrt
15×*-un-lft-identity add-cube-cbrt
11×pow1
9×pow1/3
6×swap-sqr associate-*r* associate-*l* add-exp-log
4×expm1-log1p-u add-cbrt-cube insert-posit16 log1p-expm1-u add-log-exp unswap-sqr
2×pow-prod-down pow-sqr pow-prod-up
1×pow2 pow-plus prod-exp *-commutative cbrt-unprod
Counts
4 → 85
Calls
4 calls:
18.0ms
(* (cbrt (fma (/ x 8.0) 1.0 (- t (/ (* z y) 2.0)))) (cbrt (fma (/ x 8.0) 1.0 (- t (/ (* z y) 2.0)))))
2.0ms
(cbrt (fma (/ x 8.0) 1.0 (- t (/ (* z y) 2.0))))
2.0ms
(cbrt (fma (/ x 8.0) 1.0 (- t (/ (* z y) 2.0))))
6.0ms
(cbrt (fma (/ x 8.0) 1.0 (- t (/ (* z y) 2.0))))

series3.0s

Counts
4 → 12
Calls
4 calls:
745.0ms
(* (cbrt (fma (/ x 8.0) 1.0 (- t (/ (* z y) 2.0)))) (cbrt (fma (/ x 8.0) 1.0 (- t (/ (* z y) 2.0)))))
818.0ms
(cbrt (fma (/ x 8.0) 1.0 (- t (/ (* z y) 2.0))))
659.0ms
(cbrt (fma (/ x 8.0) 1.0 (- t (/ (* z y) 2.0))))
734.0ms
(cbrt (fma (/ x 8.0) 1.0 (- t (/ (* z y) 2.0))))

simplify7.4s

Counts
97 → 97
Iterations
IterNodes
done5000
44579
31537
2653
1280
0133

prune1.6s

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes720.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify4.0ms

Iterations
IterNodes
done13
113
012

end0.0ms

sample1.8s

Algorithm
intervals
Results
1.1s9174×body80valid
0.0ms1×body160valid