Details

Time bar (total: 1.4s)

sample22.0ms

Algorithm
intervals
Results
8.0ms304×body80valid
6.0ms304×pre80true

simplify8.0ms

Calls
1 calls:
Slowest
8.0ms
(- (* 1.7e+308 t) 1.7e+308)

prune3.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 48.9b

localize18.0ms

Local error

Found 1 expressions with local error:

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

rewrite36.0ms

Algorithm
rewrite-expression-head
Rules
8×add-sqr-sqrt
6×*-un-lft-identity
4×distribute-lft-out--
3×associate-*l* add-cube-cbrt add-log-exp
2×difference-of-squares
1×pow1 sub-neg flip3-- add-cbrt-cube distribute-rgt-out-- diff-log add-exp-log *-commutative insert-posit16 flip-- unswap-sqr
Calls
1 calls:
Slowest
36.0ms
(- (* 1.7e+308 t) 1.7e+308)

series74.0ms

Calls
1 calls:
Slowest
74.0ms
(- (* 1.7e+308 t) 1.7e+308)

simplify266.0ms

Calls
15 calls:
Slowest
78.0ms
(/ (exp (* 1.7e+308 t)) (exp 1.7e+308))
42.0ms
(+ (* (sqrt 1.7e+308) (sqrt t)) (sqrt 1.7e+308))
23.0ms
(- (* (sqrt 1.7e+308) (sqrt t)) (sqrt 1.7e+308))
19.0ms
(- (sqrt (* 1.7e+308 t)) (sqrt 1.7e+308))
17.0ms
(- (* (cbrt 1.7e+308) t) (cbrt 1.7e+308))

prune138.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0b

localize5.0ms

Local error

Found 0 expressions with local error:

rewrite0.0ms

Algorithm
rewrite-expression-head
Rules
Calls
0 calls:
Slowest

series0.0ms

Calls
0 calls:
Slowest

simplify0.0ms

Calls
0 calls:
Slowest

prune3.0ms

Pruning

1 alts after pruning (0 fresh and 1 done)

Merged error: 0b

end0.0ms

sample832.0ms

Algorithm
intervals
Results
382.0ms9253×body80valid
285.0ms9253×pre80true