Details

Time bar (total: 6.4s)

sample125.0ms

Algorithm
intervals
Results
78.0ms779×body80nan
26.0ms256×body80valid

simplify36.0ms

Counts
1 → 1
Calls
1 calls:
Slowest
36.0ms
(log (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x)))

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0b

localize36.0ms

Local error

Found 1 expressions with local error:

0.0b
(sqrt (- 1 (* x x)))

rewrite12.0ms

Algorithm
rewrite-expression-head
Rules
5×sqrt-prod
4×add-sqr-sqrt
3×*-un-lft-identity
2×pow1 sqrt-div add-cube-cbrt difference-of-squares
1×expm1-log1p-u rem-sqrt-square sqrt-pow1 flip3-- add-cbrt-cube pow1/2 add-exp-log insert-posit16 log1p-expm1-u flip-- add-log-exp
Counts
1 → 20
Calls
1 calls:
Slowest
11.0ms
(sqrt (- 1 (* x x)))

series79.0ms

Counts
1 → 3
Calls
1 calls:
Slowest
79.0ms
(sqrt (- 1 (* x x)))

simplify1.3s

Counts
12 → 23
Calls
12 calls:
Slowest
374.0ms
(+ (* 1/2 (/ 1 (* x (sqrt -1)))) (+ (* 1/8 (/ 1 (* (pow x 3) (sqrt -1)))) (* x (sqrt -1))))
329.0ms
(sqrt (- (pow 1 3) (pow (* x x) 3)))
226.0ms
(- (+ (* 1/2 (/ 1 (* x (sqrt -1)))) (+ (* 1/8 (/ 1 (* (pow x 3) (sqrt -1)))) (* x (sqrt -1)))))
166.0ms
(- 1 (+ (* 1/2 (pow x 2)) (* 1/8 (pow x 4))))
128.0ms
(sqrt (- (* 1 1) (* (* x x) (* x x))))

prune210.0ms

Pruning

1 alts after pruning (0 fresh and 1 done)

Merged error: 0b

end0.0ms

sample4.5s

Algorithm
intervals
Results
3.1s23851×body80nan
974.0ms8000×body80valid