Details

Time bar (total: 4.4s)

sample38.0ms

Algorithm
intervals
Results
15.0ms304×body80valid
12.0ms304×pre80true

simplify16.0ms

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

prune7.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 48.9b

localize12.0ms

Local error

Found 1 expressions with local error:

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

rewrite46.0ms

Algorithm
rewrite-expression-head
Rules
40×add-sqr-sqrt
36×prod-diff
30×*-un-lft-identity
27×add-cube-cbrt
15×associate-*l*
12×fma-neg associate-*r*
5×*-commutative unswap-sqr
4×distribute-lft-out--
3×add-log-exp
2×difference-of-squares
1×expm1-log1p-u pow1 sub-neg flip3-- add-cbrt-cube distribute-rgt-out-- diff-log add-exp-log insert-posit16 log1p-expm1-u flip--
Calls
1 calls:
Slowest
45.0ms
(- (* 1.7e+308 t) 1.7e+308)

series50.0ms

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

simplify2.6s

Calls
95 calls:
Slowest
86.0ms
(fma (* (cbrt (* 1.7e+308 t)) (cbrt (* 1.7e+308 t))) (cbrt (* 1.7e+308 t)) (- (* (cbrt 1.7e+308) (* (cbrt 1.7e+308) (cbrt 1.7e+308)))))
78.0ms
(fma (* (cbrt 1.7e+308) (cbrt 1.7e+308)) (* (cbrt 1.7e+308) t) (- (* (sqrt 1.7e+308) (sqrt 1.7e+308))))
76.0ms
(fma (* (cbrt 1.7e+308) (cbrt 1.7e+308)) (* (cbrt 1.7e+308) t) (- (* (cbrt 1.7e+308) (* (cbrt 1.7e+308) (cbrt 1.7e+308)))))
72.0ms
(fma (* (cbrt (* 1.7e+308 t)) (cbrt (* 1.7e+308 t))) (cbrt (* 1.7e+308 t)) (- (* 1.7e+308 1)))
70.0ms
(fma (* 1.7e+308 (* (cbrt t) (cbrt t))) (cbrt t) (- (* (cbrt 1.7e+308) (* (cbrt 1.7e+308) (cbrt 1.7e+308)))))

prune422.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0b

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

prune5.0ms

Pruning

1 alts after pruning (0 fresh and 1 done)

Merged error: 0b

end0.0ms

sample1.2s

Algorithm
intervals
Results
639.0ms9253×pre80true
471.0ms9253×body80valid