Details

sample26.0ms

Algorithm

intervals

Results

9.0ms	303×	body	80	valid
8.0ms	303×	pre	80	true

simplify13.0ms

Counts

1 → 1

Calls

1 calls:

Slowest

13.0ms

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

prune3.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 49.0b

localize6.0ms

Local error

Found 1 expressions with local error:

49.0b

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

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

7.0ms

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

series66.0ms

Counts

1 → 3

Calls

1 calls:

Slowest

66.0ms

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

simplify1.4s

Counts

18 → 16

Calls

18 calls:

Slowest

404.0ms	(* (* (- (* 1.7e+308 t) 1.7e+308) (- (* 1.7e+308 t) 1.7e+308)) (- (* 1.7e+308 t) 1.7e+308))
255.0ms	(- (pow (* 1.7e+308 t) 3) (pow 1.7e+308 3))
247.0ms	(- (* (* 1.7e+308 t) (* 1.7e+308 t)) (* 1.7e+308 1.7e+308))
174.0ms	(+ (* (* 1.7e+308 t) (* 1.7e+308 t)) (+ (* 1.7e+308 1.7e+308) (* (* 1.7e+308 t) 1.7e+308)))
76.0ms	(exp (- (* 1.7e+308 t) 1.7e+308))

prune81.0ms

Pruning

1 alts after pruning (0 fresh and 1 done)

Merged error: 49.0b

end0.0ms

sample916.0ms

Algorithm

intervals

Results

406.0ms	9311×	body	80	valid
355.0ms	9311×	pre	80	true