Details

Time bar (total: 5.0s)

sample60.0ms

Algorithm
intervals
Results
41.0ms742×body80valid

simplify79.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 2 (7.0ms)

IterNodesCost
05314
117313
253212
3168112
4427812
5500112

prune7.0ms

Filtered
1 candidates to 1 candidates (100.0%)
Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New011
Fresh101
Picked000
Done000
Total112

Merged error: 0.2b

Counts
2 → 1

localize14.0ms

Local error

Found 4 expressions with local error:

0.0b
(fma 4.0 (fma (* a a) (- 1.0 a) (* (* b b) (+ 3.0 a))) (- (pow (+ (* a a) (* b b)) 2.0) 1.0))
0.1b
(fma (* a a) (- 1.0 a) (* (* b b) (+ 3.0 a)))
0.3b
(pow (+ (* a a) (* b b)) 2.0)
0.4b
(* (* b b) (+ 3.0 a))

rewrite15.0ms

Algorithm
rewrite-expression-head
Rules
10×pow1 add-exp-log
9×*-un-lft-identity add-cbrt-cube
8×add-sqr-sqrt
7×add-cube-cbrt
4×expm1-log1p-u associate-*r* log1p-expm1-u add-log-exp
3×unpow-prod-down pow-unpow pow-prod-down prod-exp cbrt-unprod
2×associate-*r/ fma-udef
1×distribute-rgt-in pow-to-exp pow-pow distribute-lft-in flip3-+ associate-*l* pow-exp *-commutative flip-+ distribute-lft-out unswap-sqr sqr-pow
Counts
4 → 65
Calls
4 calls:
1.0ms
(fma 4.0 (fma (* a a) (- 1.0 a) (* (* b b) (+ 3.0 a))) (- (pow (+ (* a a) (* b b)) 2.0) 1.0))
1.0ms
(fma (* a a) (- 1.0 a) (* (* b b) (+ 3.0 a)))
5.0ms
(pow (+ (* a a) (* b b)) 2.0)
8.0ms
(* (* b b) (+ 3.0 a))

series271.0ms

Counts
4 → 12
Calls
4 calls:
96.0ms
(fma 4.0 (fma (* a a) (- 1.0 a) (* (* b b) (+ 3.0 a))) (- (pow (+ (* a a) (* b b)) 2.0) 1.0))
40.0ms
(fma (* a a) (- 1.0 a) (* (* b b) (+ 3.0 a)))
99.0ms
(pow (+ (* a a) (* b b)) 2.0)
35.0ms
(* (* b b) (+ 3.0 a))

simplify49.0ms

Algorithm
egg-herbie
Counts
77 → 77
Iterations

Useful iterations: 2 (37.0ms)

IterNodesCost
0335551
11554479
25001471

prune219.0ms

Filtered
77 candidates to 61 candidates (79.2%)
Pruning

7 alts after pruning (6 fresh and 1 done)

PrunedKeptTotal
New71677
Fresh000
Picked011
Done000
Total71778

Merged error: 0.0b

Counts
78 → 7

localize24.0ms

Local error

Found 4 expressions with local error:

0.3b
(pow (+ (* a a) (* b b)) 2.0)
0.4b
(* (* b b) (+ 3.0 a))
0.4b
(* (* b b) (+ 3.0 a))
0.4b
(* (* b b) (+ 3.0 a))

rewrite32.0ms

Algorithm
rewrite-expression-head
Rules
20×pow1 add-exp-log
19×add-cbrt-cube
15×*-un-lft-identity
12×add-sqr-sqrt associate-*r*
9×add-cube-cbrt pow-prod-down prod-exp cbrt-unprod
6×associate-*r/
4×expm1-log1p-u log1p-expm1-u add-log-exp
3×distribute-rgt-in unpow-prod-down pow-unpow distribute-lft-in flip3-+ associate-*l* *-commutative flip-+ distribute-lft-out unswap-sqr
1×pow-to-exp pow-pow pow-exp sqr-pow
Counts
4 → 97
Calls
4 calls:
5.0ms
(pow (+ (* a a) (* b b)) 2.0)
8.0ms
(* (* b b) (+ 3.0 a))
8.0ms
(* (* b b) (+ 3.0 a))
8.0ms
(* (* b b) (+ 3.0 a))

series203.0ms

Counts
4 → 12
Calls
4 calls:
102.0ms
(pow (+ (* a a) (* b b)) 2.0)
32.0ms
(* (* b b) (+ 3.0 a))
36.0ms
(* (* b b) (+ 3.0 a))
33.0ms
(* (* b b) (+ 3.0 a))

simplify42.0ms

Algorithm
egg-herbie
Counts
109 → 109
Iterations

Useful iterations: 2 (34.0ms)

IterNodesCost
0259524
11255452
25002447

prune381.0ms

Filtered
109 candidates to 73 candidates (67.0%)
Pruning

9 alts after pruning (7 fresh and 2 done)

PrunedKeptTotal
New1072109
Fresh055
Picked011
Done011
Total1079116

Merged error: 0.0b

Counts
116 → 9

localize35.0ms

Local error

Found 4 expressions with local error:

0.5b
(pow (cbrt (+ (* a a) (* b b))) 2.0)
10.2b
(cbrt (+ (* a a) (* b b)))
10.2b
(cbrt (+ (* a a) (* b b)))
10.2b
(cbrt (+ (* a a) (* b b)))

rewrite18.0ms

Algorithm
rewrite-expression-head
Rules
12×cbrt-prod
10×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
6×unpow-prod-down cbrt-div
5×pow1 add-exp-log
4×expm1-log1p-u pow1/3 add-cbrt-cube log1p-expm1-u add-log-exp
3×pow-unpow flip3-+ flip-+
2×pow-pow
1×pow-to-exp pow-exp sqr-pow
Counts
4 → 68
Calls
4 calls:
5.0ms
(pow (cbrt (+ (* a a) (* b b))) 2.0)
4.0ms
(cbrt (+ (* a a) (* b b)))
4.0ms
(cbrt (+ (* a a) (* b b)))
4.0ms
(cbrt (+ (* a a) (* b b)))

series421.0ms

Counts
4 → 12
Calls
4 calls:
147.0ms
(pow (cbrt (+ (* a a) (* b b))) 2.0)
91.0ms
(cbrt (+ (* a a) (* b b)))
91.0ms
(cbrt (+ (* a a) (* b b)))
92.0ms
(cbrt (+ (* a a) (* b b)))

simplify86.0ms

Algorithm
egg-herbie
Counts
80 → 80
Iterations

Useful iterations: 3 (78.0ms)

IterNodesCost
0224589
1806555
23031546
35002541

prune498.0ms

Filtered
80 candidates to 69 candidates (86.3%)
Pruning

11 alts after pruning (9 fresh and 2 done)

PrunedKeptTotal
New77380
Fresh066
Picked101
Done022
Total781189

Merged error: 0b

Counts
89 → 11

localize42.0ms

Local error

Found 4 expressions with local error:

10.2b
(cbrt (+ (* a a) (* b b)))
10.2b
(cbrt (+ (* a a) (* b b)))
10.2b
(cbrt (+ (* a a) (* b b)))
10.2b
(cbrt (+ (* a a) (* b b)))

rewrite17.0ms

Algorithm
rewrite-expression-head
Rules
12×cbrt-prod
8×add-sqr-sqrt add-cube-cbrt cbrt-div *-un-lft-identity
4×pow1 add-exp-log expm1-log1p-u flip3-+ pow1/3 add-cbrt-cube flip-+ log1p-expm1-u add-log-exp
Counts
4 → 60
Calls
4 calls:
4.0ms
(cbrt (+ (* a a) (* b b)))
4.0ms
(cbrt (+ (* a a) (* b b)))
4.0ms
(cbrt (+ (* a a) (* b b)))
4.0ms
(cbrt (+ (* a a) (* b b)))

series368.0ms

Counts
4 → 12
Calls
4 calls:
91.0ms
(cbrt (+ (* a a) (* b b)))
91.0ms
(cbrt (+ (* a a) (* b b)))
92.0ms
(cbrt (+ (* a a) (* b b)))
95.0ms
(cbrt (+ (* a a) (* b b)))

simplify50.0ms

Algorithm
egg-herbie
Counts
72 → 72
Iterations

Useful iterations: 2 (13.0ms)

IterNodesCost
0132524
1449488
21529476
35001476

prune520.0ms

Filtered
72 candidates to 72 candidates (100.0%)
Pruning

11 alts after pruning (8 fresh and 3 done)

PrunedKeptTotal
New72072
Fresh088
Picked011
Done022
Total721183

Merged error: 0b

Counts
83 → 11

regimes197.0ms

Accuracy

0% (0.2b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01912
11912

end0.0ms

sample1.4s

Algorithm
intervals
Results
1.0s20373×body80valid