Details

Time bar (total: 5.5s)

sample45.0ms

Algorithm
intervals
Results
17.0ms392×body80valid

simplify66.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 4 (12.0ms)

IterNodesCost
0337
1737
21537
32907
45466
58926
612806
717816
821656
924296
1024296

prune9.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize13.0ms

Local error

Found 2 expressions with local error:

0.0b
(fma y x (fma (- (/ a 4.0)) b c))
0.0b
(fma z (/ t 16.0) (fma y x (fma (- (/ a 4.0)) b c)))

rewrite1.0ms

Algorithm
rewrite-expression-head
Rules
2×pow1 add-exp-log add-sqr-sqrt expm1-log1p-u add-cube-cbrt *-un-lft-identity add-cbrt-cube fma-udef log1p-expm1-u add-log-exp
Counts
2 → 20
Calls
2 calls:
0.0ms
(fma y x (fma (- (/ a 4.0)) b c))
0.0ms
(fma z (/ t 16.0) (fma y x (fma (- (/ a 4.0)) b c)))

series244.0ms

Counts
2 → 6
Calls
2 calls:
66.0ms
(fma y x (fma (- (/ a 4.0)) b c))
178.0ms
(fma z (/ t 16.0) (fma y x (fma (- (/ a 4.0)) b c)))

simplify77.0ms

Algorithm
egg-herbie
Counts
26 → 26
Iterations

Useful iterations: 1 (4.0ms)

IterNodesCost
076172
1185146
2562146
33117146
45002146

prune103.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.0b

localize13.0ms

Local error

Found 3 expressions with local error:

0.0b
(+ (* x y) (/ (* z t) 16.0))
0.0b
(+ (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) c)
0.0b
(- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0))

rewrite358.0ms

Algorithm
rewrite-expression-head
Rules
42×prod-diff
40×*-un-lft-identity
35×add-sqr-sqrt
31×add-cube-cbrt
24×associate-+l+
19×add-log-exp
18×times-frac
6×fma-def sum-log div-inv
4×diff-log
3×pow1 add-exp-log expm1-log1p-u flip3-+ fma-neg add-cbrt-cube flip-+ log1p-expm1-u distribute-lft-out--
2×+-commutative sub-neg associate--l+ frac-sub distribute-lft-out difference-of-squares
1×associate-+l- flip3-- flip--
Counts
3 → 105
Calls
3 calls:
11.0ms
(+ (* x y) (/ (* z t) 16.0))
260.0ms
(+ (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) c)
82.0ms
(- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0))

series249.0ms

Counts
3 → 9
Calls
3 calls:
38.0ms
(+ (* x y) (/ (* z t) 16.0))
134.0ms
(+ (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) c)
77.0ms
(- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0))

simplify59.0ms

Algorithm
egg-herbie
Counts
114 → 114
Iterations

Useful iterations: 2 (47.0ms)

IterNodesCost
04591430
117481106
250021027

prune374.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize23.0ms

Local error

Found 4 expressions with local error:

0.5b
(* (cbrt (/ (* a b) 4.0)) (cbrt (/ (* a b) 4.0)))
10.4b
(cbrt (/ (* a b) 4.0))
10.4b
(cbrt (/ (* a b) 4.0))
10.4b
(cbrt (/ (* a b) 4.0))

rewrite35.0ms

Algorithm
rewrite-expression-head
Rules
53×cbrt-prod
30×add-sqr-sqrt
22×add-cube-cbrt *-un-lft-identity
21×times-frac
11×pow1
10×swap-sqr associate-*r* associate-*l*
9×pow1/3
7×cbrt-div div-inv
6×add-exp-log
4×expm1-log1p-u add-cbrt-cube log1p-expm1-u add-log-exp unswap-sqr
2×pow-prod-down pow-sqr pow-prod-up
1×pow2 frac-times pow-plus associate-*r/ associate-*l/ prod-exp *-commutative cbrt-unprod
Counts
4 → 111
Calls
4 calls:
17.0ms
(* (cbrt (/ (* a b) 4.0)) (cbrt (/ (* a b) 4.0)))
3.0ms
(cbrt (/ (* a b) 4.0))
7.0ms
(cbrt (/ (* a b) 4.0))
4.0ms
(cbrt (/ (* a b) 4.0))

series404.0ms

Counts
4 → 12
Calls
4 calls:
129.0ms
(* (cbrt (/ (* a b) 4.0)) (cbrt (/ (* a b) 4.0)))
89.0ms
(cbrt (/ (* a b) 4.0))
92.0ms
(cbrt (/ (* a b) 4.0))
93.0ms
(cbrt (/ (* a b) 4.0))

simplify123.0ms

Algorithm
egg-herbie
Counts
123 → 123
Iterations

Useful iterations: 2 (28.0ms)

IterNodesCost
0260880
1900829
24512757
35001757

prune650.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

localize25.0ms

Local error

Found 4 expressions with local error:

0.5b
(pow (cbrt (/ (* a b) 4.0)) 6)
10.4b
(cbrt (/ (* a b) 4.0))
10.4b
(cbrt (/ (* a b) 4.0))
29.6b
(cbrt (pow (cbrt (/ (* a b) 4.0)) 6))

rewrite19.0ms

Algorithm
rewrite-expression-head
Rules
42×cbrt-prod
20×unpow-prod-down
16×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
12×times-frac
5×pow1 add-exp-log
4×expm1-log1p-u pow1/3 add-cbrt-cube log1p-expm1-u div-inv add-log-exp
3×pow-unpow
2×cbrt-div pow-pow sqr-pow
1×pow-to-exp pow-exp
Counts
4 → 87
Calls
4 calls:
5.0ms
(pow (cbrt (/ (* a b) 4.0)) 6)
3.0ms
(cbrt (/ (* a b) 4.0))
3.0ms
(cbrt (/ (* a b) 4.0))
5.0ms
(cbrt (pow (cbrt (/ (* a b) 4.0)) 6))

series495.0ms

Counts
4 → 12
Calls
4 calls:
144.0ms
(pow (cbrt (/ (* a b) 4.0)) 6)
126.0ms
(cbrt (/ (* a b) 4.0))
90.0ms
(cbrt (/ (* a b) 4.0))
134.0ms
(cbrt (pow (cbrt (/ (* a b) 4.0)) 6))

simplify41.0ms

Algorithm
egg-herbie
Counts
99 → 99
Iterations

Useful iterations: 2 (32.0ms)

IterNodesCost
0308678
11011630
25002576

prune538.0ms

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0b

regimes417.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0176
1176

end0.0ms

sample1.2s

Algorithm
intervals
Results
473.0ms12039×body80valid