Details

Time bar (total: 6.0s)

sample27.0ms

Algorithm
intervals
Results
20.0ms256×body80valid

simplify12.0ms

Calls
1 calls:
Slowest
12.0ms
(+ (/ 1 (- x 1)) (/ x (+ x 1)))

prune4.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize23.0ms

Local error

Found 3 expressions with local error:

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

rewrite16.0ms

Algorithm
rewrite-expression-head
Rules
9×*-un-lft-identity
6×add-sqr-sqrt associate-/r* fma-def associate-/r/ add-cube-cbrt
5×add-log-exp
4×pow1 add-exp-log div-inv
3×expm1-log1p-u add-cbrt-cube insert-posit16 log1p-expm1-u
2×clear-num frac-2neg flip3-+ flip3-- flip-+ flip-- distribute-lft-out
1×+-commutative rec-exp sum-log frac-add pow-flip inv-pow
Calls
3 calls:
Slowest
12.0ms
(+ (/ 1 (- x 1)) (/ x (+ x 1)))
2.0ms
(/ 1 (- x 1))
1.0ms
(/ x (+ x 1))

series52.0ms

Calls
3 calls:
Slowest
36.0ms
(+ (/ 1 (- x 1)) (/ x (+ x 1)))
9.0ms
(/ x (+ x 1))
6.0ms
(/ 1 (- x 1))

simplify1.5s

Calls
29 calls:
Slowest
225.0ms
(+ (* 1 (+ x 1)) (* (- x 1) x))
183.0ms
(- (+ (* 2 (pow x 2)) (+ (* 2 (pow x 4)) 1)))
120.0ms
(- (+ x (pow x 3)) (pow x 2))
94.0ms
(- (+ x (+ (pow x 2) 1)))
89.0ms
(+ (* 2 (/ 1 (pow x 4))) (+ 1 (* 2 (/ 1 (pow x 2)))))

prune554.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0b

localize13.0ms

Local error

Found 4 expressions with local error:

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

rewrite31.0ms

Algorithm
rewrite-expression-head
Rules
15×*-un-lft-identity
9×add-sqr-sqrt add-cube-cbrt
6×pow1 associate-/r* fma-def associate-/r/ log-pow add-log-exp
5×exp-prod add-exp-log div-inv
4×expm1-log1p-u log-prod add-cbrt-cube insert-posit16 log1p-expm1-u distribute-lft-out
2×clear-num frac-2neg flip3-+ flip3-- flip-+ flip--
1×+-commutative rec-exp sum-log rem-log-exp exp-sum frac-add pow-flip inv-pow
Calls
4 calls:
Slowest
17.0ms
(log (exp (+ (/ 1 (- x 1)) (/ x (+ x 1)))))
11.0ms
(+ (/ 1 (- x 1)) (/ x (+ x 1)))
1.0ms
(/ 1 (- x 1))
1.0ms
(/ x (+ x 1))

series94.0ms

Calls
4 calls:
Slowest
35.0ms
(+ (/ 1 (- x 1)) (/ x (+ x 1)))
33.0ms
(log (exp (+ (/ 1 (- x 1)) (/ x (+ x 1)))))
15.0ms
(/ x (+ x 1))
10.0ms
(/ 1 (- x 1))

simplify2.1s

Calls
42 calls:
Slowest
261.0ms
(+ (* 1 (+ x 1)) (* (- x 1) x))
240.0ms
(- (+ (* 2 (pow x 2)) (+ (* 2 (pow x 4)) 1)))
230.0ms
(- (+ (* 2 (pow x 2)) (+ (* 2 (pow x 4)) 1)))
118.0ms
(+ (* 2 (/ 1 (pow x 4))) (+ 1 (* 2 (/ 1 (pow x 2)))))
117.0ms
(- (+ x (+ (pow x 2) 1)))

prune809.0ms

Pruning

1 alts after pruning (0 fresh and 1 done)

Merged error: 0b

end0.0ms

sample793.0ms

Algorithm
intervals
Results
705.0ms8000×body80valid