Details

Time bar (total: 2.4s)

sample17.0ms

Algorithm
intervals
Results
6.0ms303×body80valid

simplify53.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
0163
1223
2333
3363
4423
5463
6543
72823
820723
950013

prune2.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 13.1b

localize5.0ms

Local error

Found 2 expressions with local error:

0.0b
(* x (+ y z))
12.4b
(/ (* x (+ y z)) z)

rewrite36.0ms

Algorithm
rewrite-expression-head
Rules
9×add-exp-log add-cbrt-cube
8×add-sqr-sqrt *-un-lft-identity
6×add-cube-cbrt
4×pow1 associate-*r/ associate-*r*
3×times-frac associate-*l* associate-/r*
2×cbrt-undiv flip3-+ div-exp prod-exp cbrt-unprod flip-+ associate-/l/ add-log-exp
1×distribute-rgt-in frac-2neg distribute-lft-in pow-prod-down clear-num *-commutative div-inv distribute-lft-out associate-/l* unswap-sqr
Counts
2 → 46
Calls
2 calls:
18.0ms
(* x (+ y z))
17.0ms
(/ (* x (+ y z)) z)

series59.0ms

Counts
2 → 6
Calls
2 calls:
26.0ms
(* x (+ y z))
33.0ms
(/ (* x (+ y z)) z)

simplify34.0ms

Algorithm
egg-herbie
Counts
52 → 52
Iterations

Useful iterations: 1 (8.0ms)

IterNodesCost
0226206
11099177
25001177

prune83.0ms

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0.0b

localize5.0ms

Local error

Found 2 expressions with local error:

0.0b
(+ (/ (* x y) z) x)
5.0b
(/ (* x y) z)

rewrite27.0ms

Algorithm
rewrite-expression-head
Rules
7×add-exp-log add-cbrt-cube
6×*-un-lft-identity
4×add-sqr-sqrt add-cube-cbrt add-log-exp
3×times-frac associate-/r*
2×pow1 cbrt-undiv div-exp
1×+-commutative frac-2neg flip3-+ prod-exp clear-num sum-log cbrt-unprod flip-+ div-inv distribute-lft-out associate-/l*
Counts
2 → 33
Calls
2 calls:
16.0ms
(+ (/ (* x y) z) x)
9.0ms
(/ (* x y) z)

series43.0ms

Counts
2 → 6
Calls
2 calls:
24.0ms
(+ (/ (* x y) z) x)
18.0ms
(/ (* x y) z)

simplify85.0ms

Algorithm
egg-herbie
Counts
39 → 39
Iterations

Useful iterations: 2 (21.0ms)

IterNodesCost
0168160
1736144
23353142
35001142

prune68.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.0b

localize6.0ms

Local error

Found 2 expressions with local error:

0.0b
(+ (* (* x y) (/ 1 z)) x)
5.0b
(* (* x y) (/ 1 z))

rewrite43.0ms

Algorithm
rewrite-expression-head
Rules
24×add-exp-log
14×add-cbrt-cube
13×associate-*r*
12×prod-exp
9×add-sqr-sqrt add-cube-cbrt *-un-lft-identity times-frac
7×pow1
6×cbrt-unprod
4×div-exp add-log-exp
3×pow-prod-down
2×cbrt-undiv rec-exp 1-exp
1×+-commutative flip3-+ associate-*r/ associate-*l* sum-log un-div-inv *-commutative flip-+ div-inv
Counts
2 → 49
Calls
2 calls:
19.0ms
(+ (* (* x y) (/ 1 z)) x)
22.0ms
(* (* x y) (/ 1 z))

series45.0ms

Counts
2 → 6
Calls
2 calls:
24.0ms
(+ (* (* x y) (/ 1 z)) x)
20.0ms
(* (* x y) (/ 1 z))

simplify42.0ms

Algorithm
egg-herbie
Counts
55 → 55
Iterations

Useful iterations: 2 (37.0ms)

IterNodesCost
0305270
11490223
25001208

prune84.0ms

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 0b

localize10.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt (/ 1 z))
0.6b
(cbrt (/ 1 z))
1.5b
(* (* (* x y) (* (cbrt (/ 1 z)) (cbrt (/ 1 z)))) (cbrt (/ 1 z)))
3.7b
(* (* x y) (* (cbrt (/ 1 z)) (cbrt (/ 1 z))))

rewrite191.0ms

Algorithm
rewrite-expression-head
Rules
39×cbrt-prod
34×pow1 add-exp-log
27×times-frac
26×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
21×pow-prod-down prod-exp add-cbrt-cube cbrt-unprod
18×cbrt-div
17×associate-*r*
13×associate-*r/
6×frac-times associate-*l/
4×add-log-exp
3×div-inv
2×pow1/3 associate-*l* *-commutative
Counts
4 → 116
Calls
4 calls:
2.0ms
(cbrt (/ 1 z))
2.0ms
(cbrt (/ 1 z))
143.0ms
(* (* (* x y) (* (cbrt (/ 1 z)) (cbrt (/ 1 z)))) (cbrt (/ 1 z)))
40.0ms
(* (* x y) (* (cbrt (/ 1 z)) (cbrt (/ 1 z))))

series480.0ms

Counts
4 → 12
Calls
4 calls:
172.0ms
(cbrt (/ 1 z))
177.0ms
(cbrt (/ 1 z))
37.0ms
(* (* (* x y) (* (cbrt (/ 1 z)) (cbrt (/ 1 z)))) (cbrt (/ 1 z)))
94.0ms
(* (* x y) (* (cbrt (/ 1 z)) (cbrt (/ 1 z))))

simplify69.0ms

Algorithm
egg-herbie
Counts
128 → 128
Iterations

Useful iterations: 2 (59.0ms)

IterNodesCost
03961090
12016819
25001744

prune254.0ms

Pruning

6 alts after pruning (3 fresh and 3 done)

Merged error: 0b

regimes111.0ms

Accuracy

63.3% (1.7b remaining)

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

bsearch45.0ms

Steps
ItersRangePoint
9
7.446768099027904e+77
4.8182154283657126e+86
8.110081971156097e+77
7
-8.285152500743549e-14
-1.1511532868115285e-15
-1.800990442123997e-14

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0277
1277

end0.0ms

sample459.0ms

Algorithm
intervals
Results
194.0ms9528×body80valid