Details

Time bar (total: 3.5s)

sample39.0ms

Algorithm
intervals
Results
11.0ms257×body80valid
9.0ms324×body80nan

simplify17.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0154
1294
2514
3654
4974
51204
61594
72574
83224
93224

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

localize10.0ms

Local error

Found 3 expressions with local error:

0.0b
(- (- (* x (log y)) z) y)
0.0b
(- (* x (log y)) z)
0.3b
(* x (log y))

rewrite12.0ms

Algorithm
rewrite-expression-head
Rules
3×sub-neg
2×flip3-- fma-neg associate--l+ *-commutative flip--
1×associate--l-
Counts
3 → 14
Calls
3 calls:
5.0ms
(- (- (* x (log y)) z) y)
4.0ms
(- (* x (log y)) z)
2.0ms
(* x (log y))

series121.0ms

Counts
3 → 9
Calls
3 calls:
30.0ms
(- (- (* x (log y)) z) y)
53.0ms
(- (* x (log y)) z)
37.0ms
(* x (log y))

simplify35.0ms

Algorithm
egg-herbie
Counts
23 → 23
Iterations

Useful iterations: 3 (32.0ms)

IterNodesCost
0155108
1392106
2111987
3500285

prune36.0ms

Filtered
23 candidates to 12 candidates (52.2%)
Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New22123
Fresh000
Picked011
Done000
Total22224

Merged error: 0.1b

Counts
24 → 2

localize16.0ms

Local error

Found 4 expressions with local error:

0.3b
(* x (log y))
0.3b
(* x (log y))
3.5b
(- (pow (* x (log y)) 3) (pow z 3))
41.6b
(/ (- (pow (* x (log y)) 3) (pow z 3)) (fma (* x (log y)) (fma x (log y) z) (* z z)))

rewrite19.0ms

Algorithm
rewrite-expression-head
Rules
11×sqr-pow
8×prod-diff
7×unpow3
6×unpow-prod-down
5×*-commutative
4×fma-neg
2×difference-cubes flip3-- flip-- associate-/l/ associate-/l* difference-of-squares
1×sub-neg frac-2neg div-sub clear-num div-inv
Counts
4 → 28
Calls
4 calls:
2.0ms
(* x (log y))
2.0ms
(* x (log y))
6.0ms
(- (pow (* x (log y)) 3) (pow z 3))
8.0ms
(/ (- (pow (* x (log y)) 3) (pow z 3)) (fma (* x (log y)) (fma x (log y) z) (* z z)))

series433.0ms

Counts
4 → 12
Calls
4 calls:
36.0ms
(* x (log y))
40.0ms
(* x (log y))
201.0ms
(- (pow (* x (log y)) 3) (pow z 3))
156.0ms
(/ (- (pow (* x (log y)) 3) (pow z 3)) (fma (* x (log y)) (fma x (log y) z) (* z z)))

simplify37.0ms

Algorithm
egg-herbie
Counts
40 → 40
Iterations

Useful iterations: 2 (31.0ms)

IterNodesCost
0272329
1996312
25002285

prune120.0ms

Filtered
40 candidates to 22 candidates (55.0%)
Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New38240
Fresh000
Picked101
Done011
Total39342

Merged error: 0.1b

Counts
42 → 3

localize20.0ms

Local error

Found 4 expressions with local error:

0.3b
(* x (log y))
0.7b
(pow (log y) 3)
3.3b
(fma (pow x 3) (pow (log y) 3) (- (pow z 3)))
41.6b
(/ (fma (pow x 3) (pow (log y) 3) (- (pow z 3))) (fma (* x (log y)) (fma x (log y) z) (* z z)))

rewrite8.0ms

Algorithm
rewrite-expression-head
Rules
1×pow-to-exp frac-2neg unpow3 clear-num *-commutative fma-udef div-inv sqr-pow
Counts
4 → 8
Calls
4 calls:
2.0ms
(* x (log y))
1.0ms
(pow (log y) 3)
1.0ms
(fma (pow x 3) (pow (log y) 3) (- (pow z 3)))
2.0ms
(/ (fma (pow x 3) (pow (log y) 3) (- (pow z 3))) (fma (* x (log y)) (fma x (log y) z) (* z z)))

series570.0ms

Counts
4 → 12
Calls
4 calls:
36.0ms
(* x (log y))
182.0ms
(pow (log y) 3)
197.0ms
(fma (pow x 3) (pow (log y) 3) (- (pow z 3)))
155.0ms
(/ (fma (pow x 3) (pow (log y) 3) (- (pow z 3))) (fma (* x (log y)) (fma x (log y) z) (* z z)))

simplify95.0ms

Algorithm
egg-herbie
Counts
20 → 20
Iterations

Useful iterations: 2 (19.0ms)

IterNodesCost
0168122
1580121
22990100
35001100

prune53.0ms

Filtered
20 candidates to 10 candidates (50.0%)
Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New20020
Fresh011
Picked011
Done011
Total20323

Merged error: 0.1b

Counts
23 → 3

localize22.0ms

Local error

Found 4 expressions with local error:

4.6b
(+ (pow (* x (log y)) 3) (pow z 3))
10.8b
(fma (- (pow z 3)) (pow z 3) (pow (* x (log y)) 6))
41.6b
(/ (/ (fma (- (pow z 3)) (pow z 3) (pow (* x (log y)) 6)) (+ (pow (* x (log y)) 3) (pow z 3))) (fma (* x (log y)) (fma x (log y) z) (* z z)))
47.8b
(/ (fma (- (pow z 3)) (pow z 3) (pow (* x (log y)) 6)) (+ (pow (* x (log y)) 3) (pow z 3)))

rewrite19.0ms

Algorithm
rewrite-expression-head
Rules
4×fma-def associate-/r/ associate-/l/
3×frac-2neg flip3-+ clear-num sum-cubes flip-+ div-inv associate-/l*
2×unpow-prod-down associate-/r*
1×+-commutative unpow3 *-commutative fma-udef sqr-pow
Counts
4 → 25
Calls
4 calls:
5.0ms
(+ (pow (* x (log y)) 3) (pow z 3))
1.0ms
(fma (- (pow z 3)) (pow z 3) (pow (* x (log y)) 6))
7.0ms
(/ (/ (fma (- (pow z 3)) (pow z 3) (pow (* x (log y)) 6)) (+ (pow (* x (log y)) 3) (pow z 3))) (fma (* x (log y)) (fma x (log y) z) (* z z)))
6.0ms
(/ (fma (- (pow z 3)) (pow z 3) (pow (* x (log y)) 6)) (+ (pow (* x (log y)) 3) (pow z 3)))

series756.0ms

Counts
4 → 12
Calls
4 calls:
197.0ms
(+ (pow (* x (log y)) 3) (pow z 3))
157.0ms
(fma (- (pow z 3)) (pow z 3) (pow (* x (log y)) 6))
187.0ms
(/ (/ (fma (- (pow z 3)) (pow z 3) (pow (* x (log y)) 6)) (+ (pow (* x (log y)) 3) (pow z 3))) (fma (* x (log y)) (fma x (log y) z) (* z z)))
215.0ms
(/ (fma (- (pow z 3)) (pow z 3) (pow (* x (log y)) 6)) (+ (pow (* x (log y)) 3) (pow z 3)))

simplify55.0ms

Algorithm
egg-herbie
Counts
37 → 37
Iterations

Useful iterations: 2 (45.0ms)

IterNodesCost
0404439
11675426
25001397

prune165.0ms

Filtered
37 candidates to 32 candidates (86.5%)
Pruning

3 alts after pruning (0 fresh and 3 done)

PrunedKeptTotal
New37037
Fresh000
Picked011
Done022
Total37340

Merged error: 0.1b

Counts
40 → 3

regimes98.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
084
184

end0.0ms

sample774.0ms

Algorithm
intervals
Results
248.0ms8030×body80valid
186.0ms7922×body80nan
1.0ms2×body2560valid
0.0ms1×body320valid