Details

Time bar (total: 472.0ms)

sample15.0ms

Algorithm
intervals
Results
5.0ms298×pre80true
3.0ms298×body80valid

simplify5.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
082
1102
2102

prune2.0ms

Filtered
1 candidates to 0 candidates (0.0%)
Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 64.0b

localize3.0ms

Local error

Found 1 expressions with local error:

49.1b
(- (* 1.7e+308 t) 1.7e+308)

rewrite4.0ms

Algorithm
rewrite-expression-head
Rules
3×prod-diff add-log-exp
2×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
1×pow1 add-exp-log expm1-log1p-u sub-neg flip3-- fma-neg diff-log add-cbrt-cube flip-- log1p-expm1-u
Counts
1 → 18
Calls
1 calls:
3.0ms
(- (* 1.7e+308 t) 1.7e+308)

series37.0ms

Counts
1 → 3
Calls
1 calls:
37.0ms
(- (* 1.7e+308 t) 1.7e+308)

simplify86.0ms

Algorithm
egg-herbie
Counts
21 → 21
Iterations

Useful iterations: 3 (83.0ms)

IterNodesCost
010491
140769
2243665
3500262

prune32.0ms

Filtered
21 candidates to 14 candidates (66.7%)
Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0b

localize3.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

prune1.0ms

Pruning

1 alts after pruning (0 fresh and 1 done)

Merged error: 0b

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
042

end0.0ms

sample281.0ms

Algorithm
intervals
Results
101.0ms9270×body80valid
80.0ms9270×pre80true