Details

Time bar (total: 7.9s)

sample176.0ms

Algorithm
intervals
Results
73.0ms779×body80nan
16.0ms256×body80valid

simplify18.0ms

Counts
1 → 1
Calls
1 calls:
Slowest
18.0ms
(- (log (- (/ 1 x) 1)))

prune7.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0b

localize19.0ms

Local error

Found 1 expressions with local error:

0.0b
(- (/ 1 x) 1)

rewrite415.0ms

Algorithm
rewrite-expression-head
Rules
57×add-sqr-sqrt
51×*-un-lft-identity
42×times-frac add-cube-cbrt
39×prod-diff
13×fma-neg
6×add-exp-log difference-of-squares
5×div-inv
4×expm1-def
3×difference-of-sqr-1 add-log-exp
2×div-exp distribute-lft-out--
1×expm1-log1p-u pow1 rec-exp sub-neg flip3-- add-cbrt-cube diff-log 1-exp insert-posit16 log1p-expm1-u flip--
Counts
1 → 82
Calls
1 calls:
Slowest
410.0ms
(- (/ 1 x) 1)

series40.0ms

Counts
1 → 3
Calls
1 calls:
Slowest
40.0ms
(- (/ 1 x) 1)

simplify3.8s

Counts
114 → 85
Calls
114 calls:
Slowest
144.0ms
(fma (/ (* (cbrt 1) (cbrt 1)) (* (cbrt x) (cbrt x))) (/ (cbrt 1) (cbrt x)) (- (* 1 1)))
128.0ms
(fma (/ 1 (sqrt x)) (/ 1 (sqrt x)) (- (* (sqrt 1) (sqrt 1))))
126.0ms
(fma (/ (* (cbrt 1) (cbrt 1)) (* (cbrt x) (cbrt x))) (/ (cbrt 1) (cbrt x)) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1)))))
125.0ms
(fma (/ (* (cbrt 1) (cbrt 1)) (* (cbrt x) (cbrt x))) (/ (cbrt 1) (cbrt x)) (- (* (sqrt 1) (sqrt 1))))
108.0ms
(fma (/ (sqrt 1) (sqrt x)) (/ (sqrt 1) (sqrt x)) (- (* (sqrt 1) (sqrt 1))))

prune638.0ms

Pruning

1 alts after pruning (0 fresh and 1 done)

Merged error: 0b

end0.0ms

sample2.9s

Algorithm
intervals
Results
1.8s23851×body80nan
707.0ms8000×body80valid