Details

Time bar (total: 21.2s)

sample79.0ms

Algorithm
intervals
Results
44.0ms303×body80valid

simplify6.9s

Counts
1 → 1
Iterations
IterNodes
done5000
364861
354704
344555
334394
324245
314088
303935
293778
283629
273468
263319
253162
243009
232852
222703
212542
202393
192236
182083
171910
161761
151595
141441
131264
121094
11896
10624
9411
8267
7211
6179
5147
4113
374
248
125
013

prune35.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize35.0ms

Local error

Found 2 expressions with local error:

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

rewrite223.0ms

Algorithm
rewrite-expression-head
Rules
14×prod-diff
9×associate-+l+ *-un-lft-identity add-log-exp
7×add-sqr-sqrt add-cube-cbrt
6×times-frac
3×fma-def
2×pow1 add-exp-log expm1-log1p-u sub-neg diff-log sum-log add-cbrt-cube log1p-expm1-u div-inv
1×+-commutative associate-+l- flip3-- flip3-+ fma-neg associate-*l/ frac-sub flip-- flip-+ distribute-lft-out
Counts
2 → 51
Calls
2 calls:
39.0ms
(- (* (/ 1.0 8.0) x) (/ (* y z) 2.0))
180.0ms
(+ (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)) t)

series250.0ms

Counts
2 → 6
Calls
2 calls:
119.0ms
(- (* (/ 1.0 8.0) x) (/ (* y z) 2.0))
131.0ms
(+ (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)) t)

simplify4.6s

Counts
57 → 57
Iterations
IterNodes
done5000
33672
21028
1344
0130

prune629.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize128.0ms

Local error

Found 4 expressions with local error:

7.3b
(cbrt (/ (* y z) 2.0))
7.3b
(cbrt (/ (* y z) 2.0))
7.3b
(cbrt (/ (* y z) 2.0))
53.2b
(fma (- (cbrt (/ (* y z) 2.0))) (* (cbrt (/ (* y z) 2.0)) (cbrt (/ (* y z) 2.0))) (* (cbrt (/ (* y z) 2.0)) (* (cbrt (/ (* y z) 2.0)) (cbrt (/ (* y z) 2.0)))))

rewrite26.0ms

Algorithm
rewrite-expression-head
Rules
21×cbrt-prod
10×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
9×times-frac
4×pow1 add-exp-log expm1-log1p-u add-cbrt-cube log1p-expm1-u add-log-exp
3×cbrt-div pow1/3 div-inv
1×fma-udef
Counts
4 → 64
Calls
4 calls:
7.0ms
(cbrt (/ (* y z) 2.0))
7.0ms
(cbrt (/ (* y z) 2.0))
7.0ms
(cbrt (/ (* y z) 2.0))
1.0ms
(fma (- (cbrt (/ (* y z) 2.0))) (* (cbrt (/ (* y z) 2.0)) (cbrt (/ (* y z) 2.0))) (* (cbrt (/ (* y z) 2.0)) (* (cbrt (/ (* y z) 2.0)) (cbrt (/ (* y z) 2.0)))))

series1.6s

Counts
4 → 12
Calls
4 calls:
229.0ms
(cbrt (/ (* y z) 2.0))
274.0ms
(cbrt (/ (* y z) 2.0))
252.0ms
(cbrt (/ (* y z) 2.0))
841.0ms
(fma (- (cbrt (/ (* y z) 2.0))) (* (cbrt (/ (* y z) 2.0)) (cbrt (/ (* y z) 2.0))) (* (cbrt (/ (* y z) 2.0)) (* (cbrt (/ (* y z) 2.0)) (cbrt (/ (* y z) 2.0)))))

simplify3.1s

Counts
76 → 76
Iterations
IterNodes
done5000
31744
2574
1236
0105

prune1.1s

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes887.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify6.0ms

Iterations
IterNodes
done16
116
013

end0.0ms

sample1.6s

Algorithm
intervals
Results
1.1s9140×body80valid
0.0ms2×body160valid