Details

sample40.0ms

Algorithm

intervals

Results

15.0ms	308×	body	80	valid
12.0ms	308×	pre	80	true

simplify16.0ms

Counts

1 → 1

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: 49.3b

localize11.0ms

Local error

Found 1 expressions with local error:

49.3b

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

rewrite14.0ms

Algorithm

rewrite-expression-head

Rules

3×	`add-log-exp`
1×	`add-sqr-sqrt` `pow1` `sub-neg` `*-un-lft-identity` `flip3--` `add-cbrt-cube` `diff-log` `add-exp-log` `add-cube-cbrt` `insert-posit16` `flip--`

Counts

1 → 13

Calls

1 calls:

Slowest

14.0ms

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

series82.0ms

Counts

1 → 3

Calls

1 calls:

Slowest

82.0ms

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

simplify1.5s

Counts

18 → 16

Calls

18 calls:

Slowest

521.0ms	(* (* (- (* 1.7e+308 t) 1.7e+308) (- (* 1.7e+308 t) 1.7e+308)) (- (* 1.7e+308 t) 1.7e+308))
259.0ms	(- (* (* 1.7e+308 t) (* 1.7e+308 t)) (* 1.7e+308 1.7e+308))
254.0ms	(- (pow (* 1.7e+308 t) 3) (pow 1.7e+308 3))
236.0ms	(+ (* (* 1.7e+308 t) (* 1.7e+308 t)) (+ (* 1.7e+308 1.7e+308) (* (* 1.7e+308 t) 1.7e+308)))
70.0ms	(/ (exp (* 1.7e+308 t)) (exp 1.7e+308))

prune112.0ms

Pruning

1 alts after pruning (0 fresh and 1 done)

Merged error: 49.3b

end0.0ms

sample854.0ms

Algorithm

intervals

Results

420.0ms	9372×	body	80	valid
303.0ms	9372×	pre	80	true