Details

Time bar (total: 2.6s)

sample18.0ms

Algorithm
intervals
Results
8.0ms318×body80valid

simplify54.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
0205
1475
21385
33175
46115
512395
619195
750015

prune2.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize7.0ms

Local error

Found 1 expressions with local error:

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

rewrite11.0ms

Algorithm
rewrite-expression-head
Rules
6×add-exp-log add-cbrt-cube
3×add-sqr-sqrt add-cube-cbrt *-un-lft-identity times-frac associate-/r*
2×cbrt-undiv associate-*r/ div-exp associate-/l/
1×pow1 flip3-- frac-2neg prod-exp clear-num flip-- cbrt-unprod div-inv associate-/l* add-log-exp
Counts
1 → 23
Calls
1 calls:
10.0ms
(/ (* 4.0 (- (- x y) (* z 0.5))) z)

series49.0ms

Counts
1 → 3
Calls
1 calls:
49.0ms
(/ (* 4.0 (- (- x y) (* z 0.5))) z)

simplify99.0ms

Algorithm
egg-herbie
Counts
26 → 26
Iterations

Useful iterations: 1 (7.0ms)

IterNodesCost
0187192
1790156
24301156
35001156

prune51.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize7.0ms

Local error

Found 3 expressions with local error:

0.0b
(+ (* 4.0 (/ (- x y) z)) (- 2.0))
0.0b
(* 4.0 (/ (- x y) z))
0.0b
(/ (- x y) z)

rewrite28.0ms

Algorithm
rewrite-expression-head
Rules
42×add-sqr-sqrt
37×*-un-lft-identity
31×times-frac
23×add-cube-cbrt
19×associate-*r*
10×add-exp-log add-cbrt-cube
7×distribute-lft-out-- add-log-exp difference-of-squares
5×pow1 associate-/l*
3×associate-*l* associate-/r*
2×cbrt-undiv div-exp prod-exp sum-log cbrt-unprod div-inv associate-/l/ unswap-sqr
1×+-commutative neg-sub0 associate-+r- flip3-- frac-2neg flip3-+ div-sub associate-*r/ unsub-neg pow-prod-down neg-log clear-num *-commutative flip-- flip-+
Counts
3 → 91
Calls
3 calls:
9.0ms
(+ (* 4.0 (/ (- x y) z)) (- 2.0))
10.0ms
(* 4.0 (/ (- x y) z))
6.0ms
(/ (- x y) z)

series97.0ms

Counts
3 → 9
Calls
3 calls:
29.0ms
(+ (* 4.0 (/ (- x y) z)) (- 2.0))
39.0ms
(* 4.0 (/ (- x y) z))
29.0ms
(/ (- x y) z)

simplify53.0ms

Algorithm
egg-herbie
Counts
100 → 100
Iterations

Useful iterations: 2 (43.0ms)

IterNodesCost
0363514
11659474
25001471

prune183.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize8.0ms

Local error

Found 3 expressions with local error:

0.0b
(+ (* 4.0 (- (/ x z) (/ y z))) (- 2.0))
0.0b
(* 4.0 (- (/ x z) (/ y z)))
0.0b
(- (/ x z) (/ y z))

rewrite53.0ms

Algorithm
rewrite-expression-head
Rules
35×add-sqr-sqrt
25×*-un-lft-identity
20×times-frac
12×associate-*r*
9×add-cube-cbrt add-log-exp
8×distribute-lft-out-- difference-of-squares
5×pow1 add-exp-log sub-neg add-cbrt-cube
4×distribute-rgt-in associate-+l+ distribute-lft-in associate-*r/ div-inv
3×associate-*l*
2×flip3-- distribute-rgt-out-- sum-log frac-sub flip-- sub-div
1×+-commutative neg-sub0 associate-+r- flip3-+ diff-log unsub-neg pow-prod-down neg-log prod-exp *-commutative cbrt-unprod flip-+ unswap-sqr
Counts
3 → 77
Calls
3 calls:
18.0ms
(+ (* 4.0 (- (/ x z) (/ y z))) (- 2.0))
17.0ms
(* 4.0 (- (/ x z) (/ y z)))
15.0ms
(- (/ x z) (/ y z))

series88.0ms

Counts
3 → 9
Calls
3 calls:
28.0ms
(+ (* 4.0 (- (/ x z) (/ y z))) (- 2.0))
40.0ms
(* 4.0 (- (/ x z) (/ y z)))
21.0ms
(- (/ x z) (/ y z))

simplify44.0ms

Algorithm
egg-herbie
Counts
86 → 86
Iterations

Useful iterations: 2 (37.0ms)

IterNodesCost
0326506
11349470
25001467

prune158.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

localize16.0ms

Local error

Found 4 expressions with local error:

0.0b
(/ (- x y) z)
0.3b
(pow (* 4.0 (/ (- x y) z)) 3)
0.3b
(* (* 4.0 (/ (- x y) z)) (* 4.0 (/ (- x y) z)))
24.1b
(/ (- (pow (* 4.0 (/ (- x y) z)) 3) (pow 2.0 3)) (+ (+ (* (* 4.0 (/ (- x y) z)) (* 4.0 (/ (- x y) z))) (* 2.0 2.0)) (* (* 4.0 (/ (- x y) z)) 2.0)))

rewrite70.0ms

Algorithm
rewrite-expression-head
Rules
81×add-sqr-sqrt
54×times-frac
50×add-exp-log add-cbrt-cube
49×*-un-lft-identity
46×pow1
36×difference-of-squares
33×add-cube-cbrt
25×sqr-pow
23×prod-exp cbrt-unprod
18×pow-prod-down associate-/l*
9×cbrt-undiv unpow-prod-down cube-prod div-exp
8×associate-*r/ distribute-lft-out--
6×associate-/r*
4×difference-cubes associate-/r/ pow-sqr pow-prod-up associate-/l/ add-log-exp
3×pow-unpow associate-*l/ pow-exp rem-cube-cbrt
2×flip3-- pow-pow frac-2neg flip3-+ pow-plus div-sub frac-add clear-num flip-- flip-+ div-inv
1×cube-div pow2 cube-mult frac-times pow-to-exp unpow3 swap-sqr associate-*r* associate-*l* *-commutative
Counts
4 → 184
Calls
4 calls:
6.0ms
(/ (- x y) z)
8.0ms
(pow (* 4.0 (/ (- x y) z)) 3)
16.0ms
(* (* 4.0 (/ (- x y) z)) (* 4.0 (/ (- x y) z)))
29.0ms
(/ (- (pow (* 4.0 (/ (- x y) z)) 3) (pow 2.0 3)) (+ (+ (* (* 4.0 (/ (- x y) z)) (* 4.0 (/ (- x y) z))) (* 2.0 2.0)) (* (* 4.0 (/ (- x y) z)) 2.0)))

series260.0ms

Counts
4 → 12
Calls
4 calls:
25.0ms
(/ (- x y) z)
51.0ms
(pow (* 4.0 (/ (- x y) z)) 3)
33.0ms
(* (* 4.0 (/ (- x y) z)) (* 4.0 (/ (- x y) z)))
151.0ms
(/ (- (pow (* 4.0 (/ (- x y) z)) 3) (pow 2.0 3)) (+ (+ (* (* 4.0 (/ (- x y) z)) (* 4.0 (/ (- x y) z))) (* 2.0 2.0)) (* (* 4.0 (/ (- x y) z)) 2.0)))

simplify160.0ms

Algorithm
egg-herbie
Counts
196 → 196
Iterations

Useful iterations: 1 (23.0ms)

IterNodesCost
08913389
143603112
250023112

prune546.0ms

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0b

regimes66.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
0125
1125

end0.0ms

sample462.0ms

Algorithm
intervals
Results
263.0ms10139×body80valid