Details

Time bar (total: 3.8s)

sample12.0ms

Algorithm
intervals
Results
6.0ms256×body80valid

simplify4.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0711
11111
21211
done1211

prune2.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize6.0ms

Local error

Found 2 expressions with local error:

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

rewrite50.0ms

Algorithm
rewrite-expression-head
Rules
42×*-un-lft-identity
23×times-frac
20×add-sqr-sqrt
12×add-cube-cbrt
7×distribute-lft-out
6×distribute-lft-out--
5×associate-/r*
4×add-exp-log add-cbrt-cube add-log-exp difference-of-squares
3×associate-/l*
2×pow1 associate-/r/
1×cbrt-undiv +-commutative flip3-- frac-2neg flip3-+ div-exp frac-add clear-num sum-log flip-- flip-+ div-inv
Counts
2 → 54
Calls
2 calls:
5.0ms
(/ 1.0 (- x 1.0))
43.0ms
(+ (/ 1.0 (- x 1.0)) (/ x (+ x 1.0)))

series149.0ms

Counts
2 → 6
Calls
2 calls:
32.0ms
(/ 1.0 (- x 1.0))
117.0ms
(+ (/ 1.0 (- x 1.0)) (/ x (+ x 1.0)))

simplify877.0ms

Counts
60 → 60
Iterations

Useful iterations: done (875.0ms)

IterNodesCost
0121769
1283729
2701679
31770679
done5001678

prune105.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0b

localize11.0ms

Local error

Found 4 expressions with local error:

0.0b
(/ 1.0 (- x 1.0))
0.0b
(/ (- (* (/ 1.0 (- x 1.0)) (/ 1.0 (- x 1.0))) (* (/ x (+ x 1.0)) (/ x (+ x 1.0)))) (- (/ 1.0 (- x 1.0)) (/ x (+ x 1.0))))
0.0b
(* (/ x (+ x 1.0)) (/ x (+ x 1.0)))
0.1b
(* (/ 1.0 (- x 1.0)) (/ 1.0 (- x 1.0)))

rewrite184.0ms

Algorithm
rewrite-expression-head
Rules
310×*-un-lft-identity
263×times-frac
224×add-sqr-sqrt
108×add-cube-cbrt
57×distribute-lft-out--
51×swap-sqr
49×difference-of-squares
39×associate-*r* associate-*l*
32×add-exp-log add-cbrt-cube
28×distribute-lft-out
21×associate-/r/
18×pow1
17×associate-/r*
11×associate-/l/
10×cbrt-undiv div-exp frac-sub div-inv
8×frac-times associate-*r/ associate-*l/ prod-exp cbrt-unprod unswap-sqr
7×flip3-- flip-- associate-/l*
4×flip3-+ flip-+ add-log-exp
2×pow2 frac-2neg pow-plus pow-prod-down clear-num pow-sqr *-commutative pow-prod-up
1×div-sub
Counts
4 → 313
Calls
4 calls:
5.0ms
(/ 1.0 (- x 1.0))
97.0ms
(/ (- (* (/ 1.0 (- x 1.0)) (/ 1.0 (- x 1.0))) (* (/ x (+ x 1.0)) (/ x (+ x 1.0)))) (- (/ 1.0 (- x 1.0)) (/ x (+ x 1.0))))
30.0ms
(* (/ x (+ x 1.0)) (/ x (+ x 1.0)))
35.0ms
(* (/ 1.0 (- x 1.0)) (/ 1.0 (- x 1.0)))

series412.0ms

Counts
4 → 12
Calls
4 calls:
27.0ms
(/ 1.0 (- x 1.0))
300.0ms
(/ (- (* (/ 1.0 (- x 1.0)) (/ 1.0 (- x 1.0))) (* (/ x (+ x 1.0)) (/ x (+ x 1.0)))) (- (/ 1.0 (- x 1.0)) (/ x (+ x 1.0))))
42.0ms
(* (/ x (+ x 1.0)) (/ x (+ x 1.0)))
43.0ms
(* (/ 1.0 (- x 1.0)) (/ 1.0 (- x 1.0)))

simplify1.1s

Counts
325 → 325
Iterations

Useful iterations: done (1.1s)

IterNodesCost
04358625
113067799
done50017009

prune600.0ms

Pruning

1 alts after pruning (0 fresh and 1 done)

Merged error: 0b

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01135
11235
done1235

end0.0ms

sample276.0ms

Algorithm
intervals
Results
188.0ms8000×body80valid