Details

Time bar (total: 5.2s)

sample26.0ms

Algorithm
intervals
Results
18.0ms256×body80valid

simplify18.0ms

Counts
1 → 1

prune7.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize33.0ms

Local error

Found 2 expressions with local error:

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

rewrite58.0ms

Algorithm
rewrite-expression-head
Rules
62×*-un-lft-identity
41×times-frac
34×add-sqr-sqrt
27×fma-def
22×add-cube-cbrt
12×distribute-lft-out
6×difference-of-squares
5×distribute-lft-out--
4×associate-/r* add-cbrt-cube add-exp-log associate-/r/ add-log-exp
3×difference-of-sqr-1 div-inv associate-/l*
2×expm1-log1p-u pow1 flip3-+ flip-+ insert-posit16 log1p-expm1-u
1×cbrt-undiv +-commutative clear-num sum-log frac-2neg flip3-- div-exp frac-add flip--
Counts
2 → 84
Calls
2 calls:
Slowest
41.0ms
(+ (/ 1 (- x 1)) (/ x (+ x 1)))
14.0ms
(/ x (+ x 1))

series116.0ms

Counts
2 → 6
Calls
2 calls:
Slowest
89.0ms
(+ (/ 1 (- x 1)) (/ x (+ x 1)))
27.0ms
(/ x (+ x 1))

simplify949.0ms

Counts
90 → 90

prune767.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0b

localize37.0ms

Local error

Found 2 expressions with local error:

0.4b
(/ 1 (- (* x x) (* 1 1)))
0.0b
(/ x (+ x 1))

rewrite35.0ms

Algorithm
rewrite-expression-head
Rules
28×*-un-lft-identity
24×times-frac
20×add-sqr-sqrt add-cube-cbrt
8×associate-/r* add-exp-log
6×add-cbrt-cube associate-/l*
4×associate-/r/ distribute-lft-out difference-of-squares
3×pow1 div-exp
2×expm1-log1p-u cbrt-undiv clear-num frac-2neg insert-posit16 log1p-expm1-u div-inv add-log-exp
1×rec-exp flip3-+ flip3-- 1-exp flip-+ pow-flip flip-- inv-pow
Counts
2 → 76
Calls
2 calls:
Slowest
23.0ms
(/ 1 (- (* x x) (* 1 1)))
11.0ms
(/ x (+ x 1))

series78.0ms

Counts
2 → 6
Calls
2 calls:
Slowest
46.0ms
(/ 1 (- (* x x) (* 1 1)))
32.0ms
(/ x (+ x 1))

simplify1.5s

Counts
82 → 82

prune639.0ms

Pruning

1 alts after pruning (0 fresh and 1 done)

Merged error: 0b

end0.0ms

sample906.0ms

Algorithm
intervals
Results
756.0ms8000×body80valid