Details

Time bar (total: 2.2s)

sample29.0ms

Algorithm
intervals
Results
13.0ms363×body80valid

simplify19.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 5 (14.0ms)

IterNodesCost
0267
1684
21404
32004
42144
52173
62173

prune9.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize14.0ms

Local error

Found 3 expressions with local error:

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

rewrite15.0ms

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

series98.0ms

Counts
3 → 9
Calls
3 calls:
24.0ms
(+ x (* y z))
48.0ms
(+ (+ x (* y z)) (* t a))
25.0ms
(* (* a z) b)

simplify41.0ms

Algorithm
egg-herbie
Counts
63 → 63
Iterations

Useful iterations: 2 (37.0ms)

IterNodesCost
0277237
11233195
25001190

prune186.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.0b

localize13.0ms

Local error

Found 2 expressions with local error:

0.0b
(fma y z (fma a t x))
5.2b
(* (* a z) b)

rewrite6.0ms

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

series83.0ms

Counts
2 → 6
Calls
2 calls:
58.0ms
(fma y z (fma a t x))
26.0ms
(* (* a z) b)

simplify69.0ms

Algorithm
egg-herbie
Counts
36 → 36
Iterations

Useful iterations: 1 (6.0ms)

IterNodesCost
0130118
157398
2284498
3500198

prune104.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.0b

localize10.0ms

Local error

Found 2 expressions with local error:

0.0b
(fma y z (fma a t x))
5.4b
(* a (* z b))

rewrite6.0ms

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

series84.0ms

Counts
2 → 6
Calls
2 calls:
58.0ms
(fma y z (fma a t x))
26.0ms
(* a (* z b))

simplify49.0ms

Algorithm
egg-herbie
Counts
36 → 36
Iterations

Useful iterations: 1 (6.0ms)

IterNodesCost
0119117
140697
2167197
3500197

prune91.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0.0b

localize11.0ms

Local error

Found 1 expressions with local error:

2.7b
(fma (fma a b y) z (fma a t x))

rewrite1.0ms

Algorithm
rewrite-expression-head
Rules
1×pow1 add-exp-log add-sqr-sqrt expm1-log1p-u add-cube-cbrt *-un-lft-identity add-cbrt-cube fma-udef log1p-expm1-u add-log-exp
Counts
1 → 10
Calls
1 calls:
1.0ms
(fma (fma a b y) z (fma a t x))

series89.0ms

Counts
1 → 3
Calls
1 calls:
89.0ms
(fma (fma a b y) z (fma a t x))

simplify58.0ms

Algorithm
egg-herbie
Counts
13 → 13
Iterations

Useful iterations: 2 (6.0ms)

IterNodesCost
04458
19351
230749
3203249
4500249

prune40.0ms

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0.0b

regimes151.0ms

Accuracy

95.2% (0.1b remaining)

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

bsearch98.0ms

Steps
ItersRangePoint
8
6.998959319022454e-10
3.0383102836634436e-06
4.6837195722916015e-08
9
-4.358430759579319e+50
-6.23051408650639e+43
-3.298731175539478e+45

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0258
1258

end0.0ms

sample812.0ms

Algorithm
intervals
Results
431.0ms11726×body80valid