Details

Time bar (total: 2.2s)

sample37.0ms

Algorithm
intervals
Results
16.0ms186×body160valid
9.0ms70×body320valid
4.0ms256×pre80true

simplify64.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 3 (11.0ms)

IterNodesCost
0288
1917
23067
39966
427226
550016

prune6.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 57.6b

localize11.0ms

Local error

Found 2 expressions with local error:

49.6b
(fma (fma 2e-16 t 1.0) (fma 2e-16 t 1.0) -1.0)
50.6b
(fma (- (* 2.0 t)) 2e-16 (fma (fma 2e-16 t 1.0) (fma 2e-16 t 1.0) -1.0))

rewrite1.0ms

Algorithm
rewrite-expression-head
Rules
2×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
2 → 20
Calls
2 calls:
0.0ms
(fma (fma 2e-16 t 1.0) (fma 2e-16 t 1.0) -1.0)
0.0ms
(fma (- (* 2.0 t)) 2e-16 (fma (fma 2e-16 t 1.0) (fma 2e-16 t 1.0) -1.0))

series253.0ms

Counts
2 → 6
Calls
2 calls:
106.0ms
(fma (fma 2e-16 t 1.0) (fma 2e-16 t 1.0) -1.0)
147.0ms
(fma (- (* 2.0 t)) 2e-16 (fma (fma 2e-16 t 1.0) (fma 2e-16 t 1.0) -1.0))

simplify123.0ms

Algorithm
egg-herbie
Counts
26 → 26
Iterations

Useful iterations: 3 (21.0ms)

IterNodesCost
059153
1139133
2605133
33621130
45001130

prune65.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.4b

localize4.0ms

Local error

Found 1 expressions with local error:

0.3b
(* 3.9999999999999997e-32 (pow t 2))

rewrite6.0ms

Algorithm
rewrite-expression-head
Rules
10×add-sqr-sqrt
8×associate-*r*
6×add-exp-log
4×add-cube-cbrt unpow-prod-down *-un-lft-identity unswap-sqr
3×associate-*l* prod-exp add-cbrt-cube
2×unpow2 sqr-pow
1×pow1 expm1-log1p-u pow-to-exp pow-exp *-commutative cbrt-unprod log1p-expm1-u add-log-exp
Counts
1 → 29
Calls
1 calls:
6.0ms
(* 3.9999999999999997e-32 (pow t 2))

series25.0ms

Counts
1 → 3
Calls
1 calls:
25.0ms
(* 3.9999999999999997e-32 (pow t 2))

simplify71.0ms

Algorithm
egg-herbie
Counts
32 → 32
Iterations

Useful iterations: 3 (68.0ms)

IterNodesCost
0109108
140893
2200293
3500192

prune53.0ms

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0.0b

localize5.0ms

Local error

Found 1 expressions with local error:

0.3b
(* (* t 3.9999999999999997e-32) (pow t (/ 2 2)))

rewrite12.0ms

Algorithm
rewrite-expression-head
Rules
14×add-exp-log
9×prod-exp
7×associate-*r*
6×add-cbrt-cube
3×add-sqr-sqrt add-cube-cbrt unpow-prod-down *-un-lft-identity cbrt-unprod
2×pow-to-exp pow-exp
1×pow1 expm1-log1p-u associate-*l* *-commutative log1p-expm1-u add-log-exp sqr-pow
Counts
1 → 26
Calls
1 calls:
11.0ms
(* (* t 3.9999999999999997e-32) (pow t (/ 2 2)))

series25.0ms

Counts
1 → 3
Calls
1 calls:
25.0ms
(* (* t 3.9999999999999997e-32) (pow t (/ 2 2)))

simplify211.0ms

Algorithm
egg-herbie
Counts
29 → 29
Iterations

Useful iterations: 3 (208.0ms)

IterNodesCost
0154113
165497
2439394
3500287

prune47.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.0b

localize3.0ms

Local error

Found 1 expressions with local error:

0.3b
(* t (* t 3.9999999999999997e-32))

rewrite7.0ms

Algorithm
rewrite-expression-head
Rules
6×pow1 add-exp-log add-cbrt-cube
3×associate-*l* pow-prod-down prod-exp cbrt-unprod
2×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
1×expm1-log1p-u associate-*r* *-commutative log1p-expm1-u add-log-exp
Counts
1 → 20
Calls
1 calls:
6.0ms
(* t (* t 3.9999999999999997e-32))

series25.0ms

Counts
1 → 3
Calls
1 calls:
25.0ms
(* t (* t 3.9999999999999997e-32))

simplify105.0ms

Algorithm
egg-herbie
Counts
23 → 23
Iterations

Useful iterations: 3 (28.0ms)

IterNodesCost
08777
132362
2102662
3277761
4500261

prune25.0ms

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0.0b

regimes19.0ms

Accuracy

0% (0.3b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
062
162

end0.0ms

sample997.0ms

Algorithm
intervals
Results
532.0ms6066×body160valid
240.0ms1934×body320valid
129.0ms8000×pre80true