Details

Time bar (total: 17.6s)

sample14.0ms

Algorithm
intervals
Results
6.0ms336×body80valid

simplify10.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0103
1233
2443
3623
4633
5633

prune2.0ms

Filtered
1 candidates to 0 candidates (0.0%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 0.1b

Counts
2 → 1

localize7.0ms

Local error

Found 1 expressions with local error:

0.1b
(* x (- 1.0 (* x y)))

rewrite18.0ms

Algorithm
rewrite-expression-head
Rules
72×prod-diff
64×add-sqr-sqrt
49×*-un-lft-identity
45×add-cube-cbrt
38×distribute-rgt-in distribute-lft-in
25×associate-*r*
22×associate-*l*
8×unswap-sqr
7×*-commutative
3×pow1 add-exp-log add-cbrt-cube
2×sub-neg associate-*r/ distribute-lft-out-- difference-of-squares
1×expm1-log1p-u flip3-- pow-prod-down prod-exp flip-- cbrt-unprod log1p-expm1-u add-log-exp
Counts
1 → 102
Calls
1 calls:
12.0ms
(* x (- 1.0 (* x y)))

series42.0ms

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

simplify55.0ms

Algorithm
egg-herbie
Counts
105 → 105
Iterations

Useful iterations: 2 (43.0ms)

IterNodesCost
04311391
11569901
25001874

prune85.0ms

Filtered
105 candidates to 26 candidates (24.8%)
Pruning

6 alts after pruning (6 fresh and 0 done)

PrunedKeptTotal
New996105
Fresh000
Picked101
Done000
Total1006106

Merged error: 0.0b

Counts
106 → 6

localize13.0ms

Local error

Found 2 expressions with local error:

0.1b
(* x (fma (* (cbrt 1.0) (cbrt 1.0)) (cbrt 1.0) (- (* y x))))
52.1b
(fma (- y) x (* y x))

rewrite5.0ms

Algorithm
rewrite-expression-head
Rules
6×add-sqr-sqrt
4×pow1 add-exp-log add-cube-cbrt *-un-lft-identity add-cbrt-cube
3×associate-*r* associate-*l* fma-udef
2×expm1-log1p-u log1p-expm1-u add-log-exp
1×distribute-rgt-in distribute-lft-in pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
Counts
2 → 32
Calls
2 calls:
4.0ms
(* x (fma (* (cbrt 1.0) (cbrt 1.0)) (cbrt 1.0) (- (* y x))))
1.0ms
(fma (- y) x (* y x))

series125.0ms

Counts
2 → 6
Calls
2 calls:
100.0ms
(* x (fma (* (cbrt 1.0) (cbrt 1.0)) (cbrt 1.0) (- (* y x))))
24.0ms
(fma (- y) x (* y x))

simplify75.0ms

Algorithm
egg-herbie
Counts
38 → 38
Iterations

Useful iterations: 3 (71.0ms)

IterNodesCost
0114304
1460255
22461234
35001209

prune117.0ms

Filtered
38 candidates to 30 candidates (78.9%)
Pruning

6 alts after pruning (5 fresh and 1 done)

PrunedKeptTotal
New37138
Fresh145
Picked011
Done000
Total38644

Merged error: 0.0b

Counts
44 → 6

localize9.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (cbrt (- 1.0 (* x y))) (cbrt (- 1.0 (* x y))))
0.2b
(cbrt (- 1.0 (* x y)))
0.2b
(cbrt (- 1.0 (* x y)))
0.2b
(cbrt (- 1.0 (* x y)))

rewrite42.0ms

Algorithm
rewrite-expression-head
Rules
65×cbrt-prod
63×*-un-lft-identity
58×add-sqr-sqrt
22×distribute-lft-out--
21×associate-*l*
18×cbrt-div
16×swap-sqr
15×add-cube-cbrt
14×difference-of-squares
11×pow1 unswap-sqr
10×associate-*r*
9×flip3-- pow1/3 flip--
8×add-cbrt-cube
6×add-exp-log
4×expm1-log1p-u frac-times cbrt-unprod log1p-expm1-u add-log-exp
2×associate-*r/ pow-prod-down associate-*l/ pow-sqr pow-prod-up
1×pow2 pow-plus prod-exp *-commutative
Counts
4 → 128
Calls
4 calls:
18.0ms
(* (cbrt (- 1.0 (* x y))) (cbrt (- 1.0 (* x y))))
6.0ms
(cbrt (- 1.0 (* x y)))
6.0ms
(cbrt (- 1.0 (* x y)))
6.0ms
(cbrt (- 1.0 (* x y)))

series949.0ms

Counts
4 → 12
Calls
4 calls:
231.0ms
(* (cbrt (- 1.0 (* x y))) (cbrt (- 1.0 (* x y))))
235.0ms
(cbrt (- 1.0 (* x y)))
241.0ms
(cbrt (- 1.0 (* x y)))
241.0ms
(cbrt (- 1.0 (* x y)))

simplify57.0ms

Algorithm
egg-herbie
Counts
140 → 140
Iterations

Useful iterations: 2 (42.0ms)

IterNodesCost
04101457
115681385
250021248

prune362.0ms

Filtered
140 candidates to 95 candidates (67.9%)
Pruning

6 alts after pruning (4 fresh and 2 done)

PrunedKeptTotal
New1391140
Fresh134
Picked011
Done011
Total1406146

Merged error: 0.0b

Counts
146 → 6

localize18.0ms

Local error

Found 4 expressions with local error:

0.3b
(* (* x y) (* x y))
1.1b
(/ (* (cbrt (- (* 1.0 1.0) (* (* x y) (* x y)))) (cbrt (- (* 1.0 1.0) (* (* x y) (* x y))))) (* (cbrt (+ 1.0 (* x y))) (cbrt (+ 1.0 (* x y)))))
5.7b
(cbrt (- (* 1.0 1.0) (* (* x y) (* x y))))
5.7b
(cbrt (- (* 1.0 1.0) (* (* x y) (* x y))))

rewrite4.5s

Algorithm
rewrite-expression-head
Rules
51047×add-sqr-sqrt
33208×cbrt-prod
30163×*-un-lft-identity
22986×swap-sqr
20278×unswap-sqr
15244×associate-*l*
14490×difference-of-squares
13104×times-frac
5460×distribute-lft-out--
5392×distribute-lft-out
5370×*-commutative
5160×associate-*r*
3411×add-cube-cbrt
336×associate-/l*
66×add-cbrt-cube
48×cbrt-unprod
43×pow1
39×associate-/r*
28×add-exp-log cbrt-div
25×cbrt-undiv
17×pow-prod-down
12×prod-exp
8×frac-times flip3-- associate-/r/ flip-- associate-/l/
6×flip3-+ flip-+
4×expm1-log1p-u associate-*r/ div-exp associate-*l/ pow-sqr pow-prod-up log1p-expm1-u add-log-exp
2×pow-plus pow1/3
1×pow2 frac-2neg clear-num div-inv
Counts
4 → 13751
Calls
4 calls:
13.0ms
(* (* x y) (* x y))
480.0ms
(/ (* (cbrt (- (* 1.0 1.0) (* (* x y) (* x y)))) (cbrt (- (* 1.0 1.0) (* (* x y) (* x y))))) (* (cbrt (+ 1.0 (* x y))) (cbrt (+ 1.0 (* x y)))))
42.0ms
(cbrt (- (* 1.0 1.0) (* (* x y) (* x y))))
43.0ms
(cbrt (- (* 1.0 1.0) (* (* x y) (* x y))))

series528.0ms

Counts
4 → 12
Calls
4 calls:
31.0ms
(* (* x y) (* x y))
262.0ms
(/ (* (cbrt (- (* 1.0 1.0) (* (* x y) (* x y)))) (cbrt (- (* 1.0 1.0) (* (* x y) (* x y))))) (* (cbrt (+ 1.0 (* x y))) (cbrt (+ 1.0 (* x y)))))
112.0ms
(cbrt (- (* 1.0 1.0) (* (* x y) (* x y))))
122.0ms
(cbrt (- (* 1.0 1.0) (* (* x y) (* x y))))

simplify4.1s

Algorithm
egg-herbie
Counts
13763 → 13763
Iterations

Useful iterations: 0 (47.0ms)

IterNodesCost
05001418705

prune6.0s

Filtered
13763 candidates to 1115 candidates (8.1%)
Pruning

5 alts after pruning (3 fresh and 2 done)

PrunedKeptTotal
New13762113763
Fresh123
Picked101
Done022
Total13764513769

Merged error: 0.0b

Counts
13769 → 5

regimes47.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02013
12213
22213

end0.0ms

sample373.0ms

Algorithm
intervals
Results
205.0ms10518×body80valid