Details

Time bar (total: 6.2s)

sample34.0ms

Algorithm
intervals
Results
16.0ms510×body80valid

simplify113.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 9 (95.0ms)

IterNodesCost
0216
1526
21716
34016
48296
510906
616106
719566
822526
923675
1023675

prune11.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 6.6b

localize9.0ms

Local error

Found 3 expressions with local error:

0.0b
(fma x x (* (* y 4.0) (- t (* z z))))
0.0b
(- t (* z z))
6.2b
(* (* y 4.0) (- t (* z z)))

rewrite17.0ms

Algorithm
rewrite-expression-head
Rules
10×add-sqr-sqrt
9×prod-diff
8×pow1 add-exp-log add-cube-cbrt *-un-lft-identity add-cbrt-cube
5×distribute-rgt-in distribute-lft-in add-log-exp
4×associate-*r*
3×expm1-log1p-u sub-neg fma-neg pow-prod-down prod-exp cbrt-unprod log1p-expm1-u
2×flip3-- associate-*r/ flip-- difference-of-squares
1×diff-log associate-*l* *-commutative fma-udef
Counts
3 → 64
Calls
3 calls:
0.0ms
(fma x x (* (* y 4.0) (- t (* z z))))
3.0ms
(- t (* z z))
12.0ms
(* (* y 4.0) (- t (* z z)))

series237.0ms

Counts
3 → 9
Calls
3 calls:
98.0ms
(fma x x (* (* y 4.0) (- t (* z z))))
39.0ms
(- t (* z z))
100.0ms
(* (* y 4.0) (- t (* z z)))

simplify51.0ms

Algorithm
egg-herbie
Counts
73 → 73
Iterations

Useful iterations: 2 (44.0ms)

IterNodesCost
0279440
11253374
25002367

prune215.0ms

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 4.0b

localize20.0ms

Local error

Found 4 expressions with local error:

0.0b
(fma x x (+ (* (* y 4.0) (- t (* z z))) (* (* y 4.0) (fma (- z) z (* z z)))))
0.0b
(- t (* z z))
6.2b
(* (* y 4.0) (- t (* z z)))
43.3b
(fma (- z) z (* z z))

rewrite18.0ms

Algorithm
rewrite-expression-head
Rules
11×add-sqr-sqrt
9×pow1 add-exp-log add-cube-cbrt *-un-lft-identity prod-diff add-cbrt-cube
6×add-log-exp
5×distribute-rgt-in distribute-lft-in
4×expm1-log1p-u associate-*r* log1p-expm1-u
3×sub-neg fma-neg pow-prod-down prod-exp cbrt-unprod
2×flip3-- associate-*r/ flip-- fma-udef difference-of-squares
1×diff-log associate-*l* *-commutative
Counts
4 → 74
Calls
4 calls:
0.0ms
(fma x x (+ (* (* y 4.0) (- t (* z z))) (* (* y 4.0) (fma (- z) z (* z z)))))
3.0ms
(- t (* z z))
12.0ms
(* (* y 4.0) (- t (* z z)))
0.0ms
(fma (- z) z (* z z))

series2.1s

Counts
4 → 12
Calls
4 calls:
1.9s
(fma x x (+ (* (* y 4.0) (- t (* z z))) (* (* y 4.0) (fma (- z) z (* z z)))))
45.0ms
(- t (* z z))
90.0ms
(* (* y 4.0) (- t (* z z)))
57.0ms
(fma (- z) z (* z z))

simplify54.0ms

Algorithm
egg-herbie
Counts
86 → 86
Iterations

Useful iterations: 2 (45.0ms)

IterNodesCost
0293562
11301478
25001467

prune304.0ms

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 4.0b

localize14.0ms

Local error

Found 4 expressions with local error:

1.7b
(* (* y 4.0) (* (cbrt (- t (* z z))) (cbrt (- t (* z z)))))
6.8b
(cbrt (- t (* z z)))
6.8b
(cbrt (- t (* z z)))
6.8b
(cbrt (- t (* z z)))

rewrite39.0ms

Algorithm
rewrite-expression-head
Rules
18×cbrt-div
16×pow1 add-exp-log
12×cbrt-prod add-cbrt-cube
10×add-sqr-sqrt associate-*r/
9×flip3-- flip--
8×pow-prod-down prod-exp cbrt-unprod
7×add-cube-cbrt *-un-lft-identity
4×expm1-log1p-u frac-times log1p-expm1-u add-log-exp
3×pow1/3 difference-of-squares
2×associate-*l/
1×associate-*r* associate-*l* *-commutative
Counts
4 → 80
Calls
4 calls:
31.0ms
(* (* y 4.0) (* (cbrt (- t (* z z))) (cbrt (- t (* z z)))))
2.0ms
(cbrt (- t (* z z)))
2.0ms
(cbrt (- t (* z z)))
2.0ms
(cbrt (- t (* z z)))

series1.3s

Counts
4 → 12
Calls
4 calls:
274.0ms
(* (* y 4.0) (* (cbrt (- t (* z z))) (cbrt (- t (* z z)))))
342.0ms
(cbrt (- t (* z z)))
325.0ms
(cbrt (- t (* z z)))
360.0ms
(cbrt (- t (* z z)))

simplify54.0ms

Algorithm
egg-herbie
Counts
92 → 92
Iterations

Useful iterations: 2 (44.0ms)

IterNodesCost
0386796
11295707
25001692

prune390.0ms

Pruning

9 alts after pruning (7 fresh and 2 done)

Merged error: 3.9b

localize6.0ms

rewrite0.0ms

Algorithm
rewrite-expression-head
Rules
Counts
0 → 0

series0.0ms

Counts
0 → 0

simplify3.0ms

Algorithm
egg-herbie
Counts
0 → 0
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
000

prune0.0ms

Pruning

9 alts after pruning (6 fresh and 3 done)

Merged error: 3.9b

regimes322.0ms

Accuracy

85.4% (0.5b remaining)

Error of 3.4b against oracle of 2.9b and baseline of 6.3b

bsearch1.0ms

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
03020
13020

end0.0ms

sample969.0ms

Algorithm
intervals
Results
532.0ms15956×body80valid