Details

Time bar (total: 6.8s)

sample166.0ms

Algorithm
intervals
Results
109.0ms779×body80nan
35.0ms256×body80valid

simplify41.0ms

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

prune7.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0b

localize17.0ms

Local error

Found 1 expressions with local error:

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

rewrite4.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×rem-sqrt-square sqrt-pow1 flip3-- add-cbrt-cube pow1/2 add-exp-log insert-posit16 flip-- add-log-exp
Counts
1 → 18
Calls
1 calls:
Slowest
4.0ms
(sqrt (- 1 (* x x)))

series87.0ms

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

simplify1.3s

Counts
12 → 21
Calls
12 calls:
Slowest
384.0ms
(+ (* 1/2 (/ 1 (* x (sqrt -1)))) (+ (* 1/8 (/ 1 (* (pow x 3) (sqrt -1)))) (* x (sqrt -1))))
295.0ms
(sqrt (- (pow 1 3) (pow (* x x) 3)))
207.0ms
(- 1 (+ (* 1/2 (pow x 2)) (* 1/8 (pow x 4))))
175.0ms
(- (+ (* 1/2 (/ 1 (* x (sqrt -1)))) (+ (* 1/8 (/ 1 (* (pow x 3) (sqrt -1)))) (* x (sqrt -1)))))
120.0ms
(sqrt (- (* 1 1) (* (* x x) (* x x))))

prune197.0ms

Pruning

1 alts after pruning (0 fresh and 1 done)

Merged error: 0b

end0.0ms

sample4.9s

Algorithm
intervals
Results
3.3s23851×body80nan
1.1s8000×body80valid