Details

Time bar (total: 3.5s)

sample36.0ms

Algorithm
intervals
Results
18.0ms302×body80valid
3.0ms10×body640valid
2.0ms7×body1280valid
1.0ms6×body320valid
1.0ms6×body160valid

simplify73.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 1 (3.0ms)

IterNodesCost
0216
1515
21725
34815
412415
531025
650015

prune6.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.1b

localize8.0ms

Local error

Found 3 expressions with local error:

0.0b
(- (/ 2.0 3.0) z)
0.0b
(* 6.0 (- (/ 2.0 3.0) z))
0.1b
(fma (- y x) (* 6.0 (- (/ 2.0 3.0) z)) x)

rewrite63.0ms

Algorithm
rewrite-expression-head
Rules
126×add-sqr-sqrt
118×*-un-lft-identity
117×prod-diff
114×add-cube-cbrt
92×times-frac
41×distribute-rgt-in distribute-lft-in
13×fma-neg
10×div-inv
6×associate-*r*
5×pow1 add-exp-log add-cbrt-cube add-log-exp
4×difference-of-squares
3×expm1-log1p-u sub-neg associate-*l* log1p-expm1-u
2×flip3-- associate-*r/ flip-- distribute-lft-out--
1×diff-log pow-prod-down prod-exp *-commutative cbrt-unprod fma-udef unswap-sqr
Counts
3 → 186
Calls
3 calls:
13.0ms
(- (/ 2.0 3.0) z)
38.0ms
(* 6.0 (- (/ 2.0 3.0) z))
0.0ms
(fma (- y x) (* 6.0 (- (/ 2.0 3.0) z)) x)

series117.0ms

Counts
3 → 9
Calls
3 calls:
25.0ms
(- (/ 2.0 3.0) z)
37.0ms
(* 6.0 (- (/ 2.0 3.0) z))
55.0ms
(fma (- y x) (* 6.0 (- (/ 2.0 3.0) z)) x)

simplify58.0ms

Algorithm
egg-herbie
Counts
195 → 195
Iterations

Useful iterations: 2 (39.0ms)

IterNodesCost
04532251
115921519
250021387

prune462.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.0b

localize10.0ms

Local error

Found 3 expressions with local error:

0.0b
(fma (sqrt (/ 2.0 3.0)) (sqrt (/ 2.0 3.0)) (- z))
0.0b
(* 6.0 (fma (sqrt (/ 2.0 3.0)) (sqrt (/ 2.0 3.0)) (- z)))
0.1b
(fma (- y x) (* 6.0 (fma (sqrt (/ 2.0 3.0)) (sqrt (/ 2.0 3.0)) (- z))) x)

rewrite4.0ms

Algorithm
rewrite-expression-head
Rules
7×add-sqr-sqrt
5×pow1 add-exp-log add-cube-cbrt *-un-lft-identity add-cbrt-cube
4×fma-udef
3×expm1-log1p-u associate-*r* associate-*l* log1p-expm1-u add-log-exp
1×distribute-rgt-in distribute-lft-in pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
Counts
3 → 42
Calls
3 calls:
0.0ms
(fma (sqrt (/ 2.0 3.0)) (sqrt (/ 2.0 3.0)) (- z))
3.0ms
(* 6.0 (fma (sqrt (/ 2.0 3.0)) (sqrt (/ 2.0 3.0)) (- z)))
0.0ms
(fma (- y x) (* 6.0 (fma (sqrt (/ 2.0 3.0)) (sqrt (/ 2.0 3.0)) (- z))) x)

series364.0ms

Counts
3 → 9
Calls
3 calls:
77.0ms
(fma (sqrt (/ 2.0 3.0)) (sqrt (/ 2.0 3.0)) (- z))
107.0ms
(* 6.0 (fma (sqrt (/ 2.0 3.0)) (sqrt (/ 2.0 3.0)) (- z)))
181.0ms
(fma (- y x) (* 6.0 (fma (sqrt (/ 2.0 3.0)) (sqrt (/ 2.0 3.0)) (- z))) x)

simplify77.0ms

Algorithm
egg-herbie
Counts
51 → 51
Iterations

Useful iterations: 3 (72.0ms)

IterNodesCost
0166482
1665390
23187364
35002350

prune148.0ms

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0.0b

localize8.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (/ 2.0 3.0) z)
0.0b
(* (- y x) 6.0)
0.0b
(+ (* (- (/ 2.0 3.0) z) (* (- y x) 6.0)) x)
0.3b
(* (- (/ 2.0 3.0) z) (* (- y x) 6.0))

rewrite105.0ms

Algorithm
rewrite-expression-head
Rules
62×add-sqr-sqrt
54×*-un-lft-identity
48×add-cube-cbrt
39×prod-diff
38×times-frac
13×fma-neg
11×pow1 add-exp-log associate-*l* add-cbrt-cube
10×associate-*l/
8×flip3-- flip-- add-log-exp
5×difference-of-squares
4×expm1-log1p-u frac-times associate-*r* pow-prod-down prod-exp cbrt-unprod log1p-expm1-u div-inv
3×distribute-lft-out--
2×associate-*r/ *-commutative
1×+-commutative sub-neg fma-def flip3-+ diff-log sum-log flip-+ unswap-sqr
Counts
4 → 138
Calls
4 calls:
14.0ms
(- (/ 2.0 3.0) z)
10.0ms
(* (- y x) 6.0)
31.0ms
(+ (* (- (/ 2.0 3.0) z) (* (- y x) 6.0)) x)
45.0ms
(* (- (/ 2.0 3.0) z) (* (- y x) 6.0))

series149.0ms

Counts
4 → 12
Calls
4 calls:
18.0ms
(- (/ 2.0 3.0) z)
31.0ms
(* (- y x) 6.0)
55.0ms
(+ (* (- (/ 2.0 3.0) z) (* (- y x) 6.0)) x)
44.0ms
(* (- (/ 2.0 3.0) z) (* (- y x) 6.0))

simplify65.0ms

Algorithm
egg-herbie
Counts
150 → 150
Iterations

Useful iterations: 2 (53.0ms)

IterNodesCost
05741198
12232889
25002877

prune288.0ms

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 0.0b

localize8.0ms

Local error

Found 3 expressions with local error:

0.0b
(- (/ 2.0 3.0) z)
0.0b
(* (- y x) 6.0)
0.3b
(fma (- (/ 2.0 3.0) z) (* (- y x) 6.0) x)

rewrite27.0ms

Algorithm
rewrite-expression-head
Rules
55×add-sqr-sqrt
50×*-un-lft-identity
46×add-cube-cbrt
39×prod-diff
37×times-frac
13×fma-neg
5×pow1 add-exp-log associate-*l* add-cbrt-cube add-log-exp
4×div-inv
3×expm1-log1p-u associate-*r* log1p-expm1-u difference-of-squares
2×flip3-- associate-*l/ flip-- distribute-lft-out--
1×sub-neg diff-log pow-prod-down prod-exp *-commutative cbrt-unprod fma-udef unswap-sqr
Counts
3 → 103
Calls
3 calls:
13.0ms
(- (/ 2.0 3.0) z)
10.0ms
(* (- y x) 6.0)
0.0ms
(fma (- (/ 2.0 3.0) z) (* (- y x) 6.0) x)

series97.0ms

Counts
3 → 9
Calls
3 calls:
18.0ms
(- (/ 2.0 3.0) z)
28.0ms
(* (- y x) 6.0)
50.0ms
(fma (- (/ 2.0 3.0) z) (* (- y x) 6.0) x)

simplify40.0ms

Algorithm
egg-herbie
Counts
112 → 112
Iterations

Useful iterations: 2 (31.0ms)

IterNodesCost
0385870
11191586
25001574

prune199.0ms

Pruning

7 alts after pruning (5 fresh and 2 done)

Merged error: 0.0b

regimes121.0ms

Accuracy

0% (0.2b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0149
1149

end0.0ms

sample973.0ms

Algorithm
intervals
Results
598.0ms9442×body80valid
59.0ms245×body640valid
48.0ms157×body1280valid
33.0ms187×body320valid
16.0ms131×body160valid