Details

Time bar (total: 3.7s)

sample35.0ms

Algorithm
intervals
Results
17.0ms391×body80valid

simplify22.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 5 (17.0ms)

IterNodesCost
0267
1684
21404
32004
42144
52173
62173

prune10.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize12.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ x (* y z))
0.0b
(+ (+ (+ x (* y z)) (* t a)) (* (* a z) b))
0.0b
(+ (+ x (* y z)) (* t a))
5.8b
(* (* a z) b)

rewrite67.0ms

Algorithm
rewrite-expression-head
Rules
20×add-log-exp
10×sum-log
9×pow1 add-exp-log fma-def add-cbrt-cube
8×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
4×expm1-log1p-u log1p-expm1-u
3×+-commutative flip3-+ associate-*r* pow-prod-down prod-exp cbrt-unprod flip-+
2×associate-+l+
1×associate-*l* *-commutative
Counts
4 → 73
Calls
4 calls:
2.0ms
(+ x (* y z))
46.0ms
(+ (+ (+ x (* y z)) (* t a)) (* (* a z) b))
10.0ms
(+ (+ x (* y z)) (* t a))
7.0ms
(* (* a z) b)

series196.0ms

Counts
4 → 12
Calls
4 calls:
29.0ms
(+ x (* y z))
89.0ms
(+ (+ (+ x (* y z)) (* t a)) (* (* a z) b))
49.0ms
(+ (+ x (* y z)) (* t a))
29.0ms
(* (* a z) b)

simplify59.0ms

Algorithm
egg-herbie
Counts
85 → 85
Iterations

Useful iterations: 2 (52.0ms)

IterNodesCost
0358405
11787339
25001330

prune287.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.0b

localize11.0ms

Local error

Found 2 expressions with local error:

0.0b
(+ (fma y z (fma a t x)) (* (* a z) b))
5.8b
(* (* a z) b)

rewrite10.0ms

Algorithm
rewrite-expression-head
Rules
7×pow1 add-exp-log add-cbrt-cube
4×add-sqr-sqrt add-cube-cbrt *-un-lft-identity add-log-exp
3×fma-def associate-*r* pow-prod-down prod-exp cbrt-unprod
2×expm1-log1p-u log1p-expm1-u
1×+-commutative associate-+l+ flip3-+ associate-*l* sum-log *-commutative flip-+ fma-udef
Counts
2 → 37
Calls
2 calls:
2.0ms
(+ (fma y z (fma a t x)) (* (* a z) b))
7.0ms
(* (* a z) b)

series141.0ms

Counts
2 → 6
Calls
2 calls:
112.0ms
(+ (fma y z (fma a t x)) (* (* a z) b))
29.0ms
(* (* a z) b)

simplify40.0ms

Algorithm
egg-herbie
Counts
43 → 43
Iterations

Useful iterations: 1 (9.0ms)

IterNodesCost
0191199
1899174
25001174

prune147.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.0b

localize11.0ms

Local error

Found 2 expressions with local error:

0.0b
(+ (fma y z (fma a t x)) (* a (* z b)))
3.6b
(* a (* z b))

rewrite10.0ms

Algorithm
rewrite-expression-head
Rules
7×pow1 add-exp-log add-cbrt-cube
4×add-sqr-sqrt add-cube-cbrt *-un-lft-identity add-log-exp
3×fma-def associate-*l* pow-prod-down prod-exp cbrt-unprod
2×expm1-log1p-u log1p-expm1-u
1×+-commutative associate-+l+ flip3-+ associate-*r* sum-log *-commutative flip-+ fma-udef
Counts
2 → 37
Calls
2 calls:
3.0ms
(+ (fma y z (fma a t x)) (* a (* z b)))
6.0ms
(* a (* z b))

series138.0ms

Counts
2 → 6
Calls
2 calls:
110.0ms
(+ (fma y z (fma a t x)) (* a (* z b)))
28.0ms
(* a (* z b))

simplify109.0ms

Algorithm
egg-herbie
Counts
43 → 43
Iterations

Useful iterations: 1 (8.0ms)

IterNodesCost
0180198
1653173
23298173
35001173

prune143.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0.0b

localize15.0ms

Local error

Found 4 expressions with local error:

0.5b
(cbrt a)
0.5b
(* (cbrt a) (cbrt a))
1.2b
(* (cbrt a) (* z b))
2.8b
(* (* (cbrt a) (cbrt a)) (* (cbrt a) (* z b)))

rewrite44.0ms

Algorithm
rewrite-expression-head
Rules
37×pow1
32×add-exp-log
23×add-sqr-sqrt
22×cbrt-prod
20×pow-prod-down
19×prod-exp cbrt-unprod
18×add-cbrt-cube
15×add-cube-cbrt *-un-lft-identity
13×associate-*l*
8×associate-*r*
7×pow1/3
6×swap-sqr
4×expm1-log1p-u log1p-expm1-u add-log-exp unswap-sqr
3×*-commutative
2×pow-sqr pow-prod-up
1×pow2 pow-plus
Counts
4 → 108
Calls
4 calls:
1.0ms
(cbrt a)
6.0ms
(* (cbrt a) (cbrt a))
7.0ms
(* (cbrt a) (* z b))
27.0ms
(* (* (cbrt a) (cbrt a)) (* (cbrt a) (* z b)))

series602.0ms

Counts
4 → 12
Calls
4 calls:
199.0ms
(cbrt a)
230.0ms
(* (cbrt a) (cbrt a))
118.0ms
(* (cbrt a) (* z b))
55.0ms
(* (* (cbrt a) (cbrt a)) (* (cbrt a) (* z b)))

simplify66.0ms

Algorithm
egg-herbie
Counts
120 → 120
Iterations

Useful iterations: 2 (59.0ms)

IterNodesCost
0298617
11403475
25002421

prune403.0ms

Pruning

5 alts after pruning (2 fresh and 3 done)

Merged error: 0.0b

regimes217.0ms

Accuracy

39.4% (1.2b remaining)

Error of 1.2b against oracle of 0.0b and baseline of 1.9b

bsearch53.0ms

Steps
ItersRangePoint
7
-2.0161767902339397e+80
-4.7702391630974086e+78
-1.6703230867618247e+79

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02310
12310

end0.0ms

sample860.0ms

Algorithm
intervals
Results
448.0ms11778×body80valid