Details

Time bar (total: 3.3s)

sample32.0ms

Algorithm
intervals
Results
11.0ms324×body80valid

simplify137.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 8 (44.0ms)

IterNodesCost
0144
1344
2924
32324
44914
57854
611154
714824
822183
933493
1048193
1150013

prune4.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 3.6b

localize6.0ms

Local error

Found 2 expressions with local error:

0.0b
(* (- 1.0 y) z)
3.4b
(* x (- 1.0 (* (- 1.0 y) z)))

rewrite44.0ms

Algorithm
rewrite-expression-head
Rules
14×add-sqr-sqrt
10×*-un-lft-identity
8×add-cube-cbrt associate-*l*
6×pow1 add-exp-log associate-*r* prod-diff add-cbrt-cube
5×distribute-rgt-in distribute-lft-in
2×expm1-log1p-u sub-neg flip3-- associate-*r/ pow-prod-down associate-*l/ prod-exp *-commutative flip-- cbrt-unprod log1p-expm1-u add-log-exp unswap-sqr
1×distribute-lft-out-- difference-of-squares
Counts
2 → 56
Calls
2 calls:
21.0ms
(* (- 1.0 y) z)
21.0ms
(* x (- 1.0 (* (- 1.0 y) z)))

series71.0ms

Counts
2 → 6
Calls
2 calls:
30.0ms
(* (- 1.0 y) z)
41.0ms
(* x (- 1.0 (* (- 1.0 y) z)))

simplify34.0ms

Algorithm
egg-herbie
Counts
62 → 62
Iterations

Useful iterations: 2 (29.0ms)

IterNodesCost
0244345
11005301
25001292

prune107.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.0b

localize7.0ms

Local error

Found 2 expressions with local error:

0.0b
(+ (* x 1.0) (* (* x z) (- y 1.0)))
4.6b
(* (* x z) (- y 1.0))

rewrite52.0ms

Algorithm
rewrite-expression-head
Rules
36×prod-diff
29×add-sqr-sqrt *-un-lft-identity
27×add-cube-cbrt
22×distribute-rgt-in associate-+r+ distribute-lft-in
7×pow1 add-exp-log add-cbrt-cube
5×associate-*r*
4×sub-neg add-log-exp
3×pow-prod-down prod-exp cbrt-unprod
2×expm1-log1p-u associate-*r/ log1p-expm1-u
1×+-commutative flip3-- fma-def flip3-+ associate-*l* sum-log *-commutative flip-- flip-+ distribute-lft-out-- difference-of-squares
Counts
2 → 82
Calls
2 calls:
14.0ms
(+ (* x 1.0) (* (* x z) (- y 1.0)))
34.0ms
(* (* x z) (- y 1.0))

series105.0ms

Counts
2 → 6
Calls
2 calls:
62.0ms
(+ (* x 1.0) (* (* x z) (- y 1.0)))
43.0ms
(* (* x z) (- y 1.0))

simplify59.0ms

Algorithm
egg-herbie
Counts
88 → 88
Iterations

Useful iterations: 2 (51.0ms)

IterNodesCost
0448736
11854512
25001506

prune159.0ms

Pruning

7 alts after pruning (5 fresh and 2 done)

Merged error: 0.0b

localize19.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt y)
0.6b
(cbrt y)
0.6b
(cbrt y)
4.6b
(* (fma (* (cbrt y) (cbrt y)) (cbrt y) (- (* 1.0 1))) (* x z))

rewrite23.0ms

Algorithm
rewrite-expression-head
Rules
9×pow1 add-exp-log cbrt-prod add-cbrt-cube
8×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
4×expm1-log1p-u log1p-expm1-u add-log-exp
3×pow1/3 associate-*l* pow-prod-down prod-exp cbrt-unprod
1×associate-*r* *-commutative
Counts
4 → 59
Calls
4 calls:
1.0ms
(cbrt y)
1.0ms
(cbrt y)
1.0ms
(cbrt y)
19.0ms
(* (fma (* (cbrt y) (cbrt y)) (cbrt y) (- (* 1.0 1))) (* x z))

series672.0ms

Counts
4 → 12
Calls
4 calls:
173.0ms
(cbrt y)
174.0ms
(cbrt y)
179.0ms
(cbrt y)
144.0ms
(* (fma (* (cbrt y) (cbrt y)) (cbrt y) (- (* 1.0 1))) (* x z))

simplify79.0ms

Algorithm
egg-herbie
Counts
71 → 71
Iterations

Useful iterations: 3 (74.0ms)

IterNodesCost
0157389
1555314
22730284
35002250

prune270.0ms

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0b

localize14.0ms

Local error

Found 3 expressions with local error:

0.0b
(* x (- y 1.0))
0.0b
(fma x 1.0 (* (* x (- y 1.0)) z))
2.2b
(* (* x (- y 1.0)) z)

rewrite60.0ms

Algorithm
rewrite-expression-head
Rules
22×add-sqr-sqrt
20×*-un-lft-identity
18×add-cube-cbrt prod-diff
11×distribute-rgt-in distribute-lft-in
10×pow1 add-exp-log add-cbrt-cube
8×associate-*r*
4×associate-*r/ associate-*l* pow-prod-down prod-exp cbrt-unprod
3×expm1-log1p-u log1p-expm1-u add-log-exp
2×sub-neg flip3-- associate-*l/ *-commutative flip--
1×fma-udef distribute-lft-out-- difference-of-squares unswap-sqr
Counts
3 → 78
Calls
3 calls:
22.0ms
(* x (- y 1.0))
0.0ms
(fma x 1.0 (* (* x (- y 1.0)) z))
35.0ms
(* (* x (- y 1.0)) z)

series120.0ms

Counts
3 → 9
Calls
3 calls:
35.0ms
(* x (- y 1.0))
45.0ms
(fma x 1.0 (* (* x (- y 1.0)) z))
39.0ms
(* (* x (- y 1.0)) z)

simplify61.0ms

Algorithm
egg-herbie
Counts
87 → 87
Iterations

Useful iterations: 2 (50.0ms)

IterNodesCost
0298555
11290376
25002370

prune210.0ms

Pruning

5 alts after pruning (2 fresh and 3 done)

Merged error: 0b

regimes394.0ms

Accuracy

93.6% (0.2b remaining)

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

bsearch65.0ms

Steps
ItersRangePoint
9
915.5848692374657
197909896.62939358
19144349.105904978
6
-4.892093976664808e+67
-8.33320040426727e+66
-8.468958278259224e+66

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
03823
13823

end0.0ms

sample497.0ms

Algorithm
intervals
Results
217.0ms10117×body80valid