Details

Time bar (total: 4.4s)

sample128.0ms

Algorithm
intervals
Results
31.0ms715×body80nan
13.0ms256×body80valid

simplify20.0ms

Calls
1 calls:
Slowest
19.0ms
(- (log (- (/ 1 x) 1)))

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize12.0ms

Local error

Found 2 expressions with local error:

0.0b
(log (- (/ 1 x) 1))
0.0b
(- (/ 1 x) 1)

rewrite8.0ms

Algorithm
rewrite-expression-head
Rules
5×add-sqr-sqrt
4×log-prod
3×pow1 *-un-lft-identity add-exp-log add-cube-cbrt
2×log-div flip3-- add-cbrt-cube difference-of-sqr-1 insert-posit16 flip-- add-log-exp
1×sub-neg rem-log-exp log-pow
Calls
2 calls:
Slowest
4.0ms
(log (- (/ 1 x) 1))
3.0ms
(- (/ 1 x) 1)

series364.0ms

Calls
2 calls:
Slowest
324.0ms
(- (/ 1 x) 1)
40.0ms
(log (- (/ 1 x) 1))

simplify611.0ms

Calls
14 calls:
Slowest
127.0ms
(- (+ x (+ (* 1/2 (pow x 2)) (log x))))
124.0ms
(- (log -1) (+ (/ 1 x) (* 1/2 (/ 1 (pow x 2)))))
101.0ms
(- (log -1) (+ (/ 1 x) (* 1/2 (/ 1 (pow x 2)))))
100.0ms
(log (- (* (/ 1 x) (/ 1 x)) (* 1 1)))
62.0ms
(log (- (pow (/ 1 x) 3) (pow 1 3)))

prune290.0ms

Pruning

1 alts after pruning (0 fresh and 1 done)

Merged error: 0.0b

end0.0ms

sample3.0s

Algorithm
intervals
Results
1.8s24129×body80nan
733.0ms8000×body80valid