Details

Time bar (total: 3.5s)

sample17.0ms

Algorithm
intervals
Results
7.0ms334×body80valid

simplify160.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 8 (52.0ms)

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

prune5.0ms

Filtered
1 candidates to 1 candidates (100.0%)
Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New101
Fresh011
Picked000
Done000
Total112

Merged error: 3.6b

Counts
2 → 1

localize7.0ms

Local error

Found 1 expressions with local error:

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

rewrite26.0ms

Algorithm
rewrite-expression-head
Rules
84×prod-diff
80×add-sqr-sqrt
68×*-un-lft-identity
49×add-cube-cbrt
44×distribute-rgt-in distribute-lft-in
35×associate-*l*
26×associate-*r*
10×distribute-lft-out--
8×difference-of-squares unswap-sqr
7×*-commutative
3×pow1 add-exp-log add-cbrt-cube
2×sub-neg associate-*r/
1×expm1-log1p-u flip3-- pow-prod-down prod-exp flip-- cbrt-unprod log1p-expm1-u add-log-exp
Counts
1 → 115
Calls
1 calls:
16.0ms
(* x (- 1.0 (* (- 1.0 y) z)))

series46.0ms

Counts
1 → 3
Calls
1 calls:
46.0ms
(* x (- 1.0 (* (- 1.0 y) z)))

simplify70.0ms

Algorithm
egg-herbie
Counts
118 → 118
Iterations

Useful iterations: 2 (53.0ms)

IterNodesCost
04952018
118941331
250011329

prune97.0ms

Filtered
118 candidates to 30 candidates (25.4%)
Pruning

6 alts after pruning (6 fresh and 0 done)

PrunedKeptTotal
New1126118
Fresh000
Picked101
Done000
Total1136119

Merged error: 0.0b

Counts
119 → 6

localize7.0ms

Local error

Found 2 expressions with local error:

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

rewrite17.0ms

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

series104.0ms

Counts
2 → 6
Calls
2 calls:
55.0ms
(fma 1.0 x (* (* x z) (- y 1.0)))
48.0ms
(* (* x z) (- y 1.0))

simplify51.0ms

Algorithm
egg-herbie
Counts
75 → 75
Iterations

Useful iterations: 2 (44.0ms)

IterNodesCost
0360571
11465405
25001393

prune129.0ms

Filtered
75 candidates to 42 candidates (56.0%)
Pruning

7 alts after pruning (6 fresh and 1 done)

PrunedKeptTotal
New70575
Fresh415
Picked011
Done000
Total74781

Merged error: 0.0b

Counts
81 → 7

localize7.0ms

Local error

Found 2 expressions with local error:

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

rewrite20.0ms

Algorithm
rewrite-expression-head
Rules
44×distribute-rgt-in distribute-lft-in
39×add-sqr-sqrt
36×prod-diff
32×*-un-lft-identity
30×add-cube-cbrt
19×associate-*r*
7×pow1 add-exp-log add-cbrt-cube
6×associate-*l*
4×sub-neg associate-*r/ unswap-sqr
3×pow-prod-down prod-exp cbrt-unprod
2×expm1-log1p-u *-commutative log1p-expm1-u add-log-exp
1×flip3-- flip-- fma-udef distribute-lft-out-- difference-of-squares
Counts
2 → 91
Calls
2 calls:
1.0ms
(fma 1.0 x (* z (* x (- y 1.0))))
15.0ms
(* z (* x (- y 1.0)))

series100.0ms

Counts
2 → 6
Calls
2 calls:
55.0ms
(fma 1.0 x (* z (* x (- y 1.0))))
45.0ms
(* z (* x (- y 1.0)))

simplify60.0ms

Algorithm
egg-herbie
Counts
97 → 97
Iterations

Useful iterations: 2 (50.0ms)

IterNodesCost
0456877
12019573
25001561

prune132.0ms

Filtered
97 candidates to 42 candidates (43.3%)
Pruning

8 alts after pruning (6 fresh and 2 done)

PrunedKeptTotal
New92597
Fresh415
Picked011
Done011
Total968104

Merged error: 0b

Counts
104 → 8

localize21.0ms

Local error

Found 4 expressions with local error:

0.0b
(fma 1.0 x (+ (* (* x (+ (* 1 (pow (cbrt y) 3)) (- 1.0))) z) (* (* x (fma (- 1.0) 1 1.0)) z)))
0.5b
(cbrt y)
0.7b
(pow (cbrt y) 3)
2.3b
(* (* x (+ (* 1 (pow (cbrt y) 3)) (- 1.0))) z)

rewrite44.0ms

Algorithm
rewrite-expression-head
Rules
24×*-un-lft-identity
23×associate-*l*
21×add-sqr-sqrt
14×add-cube-cbrt
12×associate-*r*
10×pow1 add-exp-log add-cbrt-cube
9×cbrt-prod
6×unpow-prod-down cube-prod distribute-lft-out
4×expm1-log1p-u log1p-expm1-u add-log-exp unswap-sqr
3×pow-unpow distribute-rgt-neg-in pow-prod-down prod-exp cbrt-unprod
2×pow-pow pow1/3 associate-*r/ associate-*l/ *-commutative rem-cube-cbrt
1×cube-mult pow-to-exp flip3-+ unpow3 pow-exp flip-+ fma-udef sqr-pow
Counts
4 → 97
Calls
4 calls:
1.0ms
(fma 1.0 x (+ (* (* x (+ (* 1 (pow (cbrt y) 3)) (- 1.0))) z) (* (* x (fma (- 1.0) 1 1.0)) z)))
1.0ms
(cbrt y)
3.0ms
(pow (cbrt y) 3)
36.0ms
(* (* x (+ (* 1 (pow (cbrt y) 3)) (- 1.0))) z)

series1.3s

Counts
4 → 12
Calls
4 calls:
810.0ms
(fma 1.0 x (+ (* (* x (+ (* 1 (pow (cbrt y) 3)) (- 1.0))) z) (* (* x (fma (- 1.0) 1 1.0)) z)))
180.0ms
(cbrt y)
221.0ms
(pow (cbrt y) 3)
68.0ms
(* (* x (+ (* 1 (pow (cbrt y) 3)) (- 1.0))) z)

simplify87.0ms

Algorithm
egg-herbie
Counts
109 → 109
Iterations

Useful iterations: 2 (78.0ms)

IterNodesCost
0403603
12165475
25001468

prune312.0ms

Filtered
109 candidates to 74 candidates (67.9%)
Pruning

8 alts after pruning (5 fresh and 3 done)

PrunedKeptTotal
New1090109
Fresh055
Picked011
Done022
Total1098117

Merged error: 0b

Counts
117 → 8

regimes226.0ms

Accuracy

86.5% (0.5b remaining)

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

bsearch38.0ms

Steps
ItersRangePoint
4
2.4124673725682772e-114
4.352895912531977e-114
4.266129452558244e-114
4
-2.3755856985784255e-90
-1.4509800160483698e-90
-2.3306712281846513e-90

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02712
12712

end0.0ms

sample422.0ms

Algorithm
intervals
Results
224.0ms10011×body80valid