Details

Time bar (total: 4.5s)

sample198.0ms

Algorithm
intervals
Results
59.0ms715×body80nan
23.0ms256×body80valid

simplify32.0ms

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

prune10.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize23.0ms

Local error

Found 2 expressions with local error:

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

rewrite14.0ms

Algorithm
rewrite-expression-head
Rules
6×add-sqr-sqrt
4×log-prod *-un-lft-identity fma-neg add-exp-log add-cube-cbrt
3×pow1
2×expm1-log1p-u log-div flip3-- add-cbrt-cube difference-of-sqr-1 insert-posit16 log1p-expm1-u flip-- add-log-exp
1×expm1-def sub-neg rem-log-exp log-pow div-inv
Calls
2 calls:
Slowest
8.0ms
(log (- (/ 1 x) 1))
5.0ms
(- (/ 1 x) 1)

series373.0ms

Calls
2 calls:
Slowest
346.0ms
(- (/ 1 x) 1)
26.0ms
(log (- (/ 1 x) 1))

simplify815.0ms

Calls
17 calls:
Slowest
162.0ms
(- (log -1) (+ (/ 1 x) (* 1/2 (/ 1 (pow x 2)))))
154.0ms
(- (+ x (+ (* 1/2 (pow x 2)) (log x))))
147.0ms
(log (- (* (/ 1 x) (/ 1 x)) (* 1 1)))
117.0ms
(- (log -1) (+ (/ 1 x) (* 1/2 (/ 1 (pow x 2)))))
84.0ms
(log (- (pow (/ 1 x) 3) (pow 1 3)))

prune244.0ms

Pruning

1 alts after pruning (0 fresh and 1 done)

Merged error: 0.0b

end0.0ms

sample2.8s

Algorithm
intervals
Results
1.7s24129×body80nan
643.0ms8000×body80valid