Details

Time bar (total: 41.9s)

sample22.0ms

Algorithm
intervals
Results
15.0ms256×body80valid

simplify14.0ms

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

prune7.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize34.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))

rewrite68.0ms

Algorithm
rewrite-expression-head
Rules
67×*-un-lft-identity
41×times-frac
40×add-sqr-sqrt
24×add-cube-cbrt
12×distribute-lft-out
11×associate-/r*
9×add-exp-log
8×difference-of-squares
7×add-cbrt-cube
6×associate-/l* distribute-lft-out--
5×add-log-exp
4×pow1 difference-of-sqr-1 associate-/r/
3×div-exp insert-posit16 div-inv
2×cbrt-undiv clear-num frac-2neg flip3-+ flip-+
1×+-commutative rec-exp sum-log flip3-- 1-exp frac-add pow-flip flip-- inv-pow
Calls
3 calls:
Slowest
42.0ms
(+ (/ 1 (- x 1)) (/ x (+ x 1)))
16.0ms
(/ 1 (- x 1))
8.0ms
(/ x (+ x 1))

series143.0ms

Calls
3 calls:
Slowest
73.0ms
(+ (/ 1 (- x 1)) (/ x (+ x 1)))
46.0ms
(/ x (+ x 1))
23.0ms
(/ 1 (- x 1))

simplify3.3s

Calls
113 calls:
Slowest
234.0ms
(+ (/ 1 (pow x 3)) (+ (/ 1 (pow x 2)) (/ 1 x)))
232.0ms
(/ (* (* 1 1) 1) (* (* (- x 1) (- x 1)) (- x 1)))
187.0ms
(+ (/ 1 (pow x 3)) (+ (/ 1 (pow x 2)) (/ 1 x)))
186.0ms
(- (+ (* 2 (pow x 2)) (+ (* 2 (pow x 4)) 1)))
181.0ms
(- (+ x (pow x 3)) (pow x 2))

prune857.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0b

localize40.0ms

Local error

Found 4 expressions with local error:

19.3b
(cbrt (* (* (/ 1 (- x 1)) (/ 1 (- x 1))) (/ 1 (- x 1))))
0.1b
(* (/ 1 (- x 1)) (/ 1 (- x 1)))
0.1b
(* (* (/ 1 (- x 1)) (/ 1 (- x 1))) (/ 1 (- x 1)))
0.0b
(+ (cbrt (* (* (/ 1 (- x 1)) (/ 1 (- x 1))) (/ 1 (- x 1)))) (/ x (+ x 1)))

rewrite273.0ms

Algorithm
rewrite-expression-head
Rules
293×add-exp-log
167×add-sqr-sqrt
148×prod-exp
147×*-un-lft-identity
143×times-frac
114×div-exp
67×add-cube-cbrt
59×pow1
57×rec-exp add-cbrt-cube 1-exp
54×associate-*r*
41×swap-sqr
36×difference-of-squares
31×pow-prod-up
29×pow-flip inv-pow
28×associate-*l*
22×cbrt-unprod
21×difference-of-sqr-1 distribute-lft-out--
20×cbrt-div
19×frac-times associate-*l/
17×cbrt-undiv
12×unswap-sqr
10×pow-prod-down frac-add associate-*r/ associate-/r/ un-div-inv
9×pow-sqr
7×pow-plus div-inv
6×add-log-exp
5×flip3-- flip--
4×insert-posit16
3×pow2
2×pow3 *-commutative
1×cbrt-prod +-commutative sum-log flip3-+ pow1/3 rem-cbrt-cube flip-+ distribute-lft-out
Calls
4 calls:
Slowest
97.0ms
(cbrt (* (* (/ 1 (- x 1)) (/ 1 (- x 1))) (/ 1 (- x 1))))
94.0ms
(* (* (/ 1 (- x 1)) (/ 1 (- x 1))) (/ 1 (- x 1)))
58.0ms
(* (/ 1 (- x 1)) (/ 1 (- x 1)))
15.0ms
(+ (cbrt (* (* (/ 1 (- x 1)) (/ 1 (- x 1))) (/ 1 (- x 1)))) (/ x (+ x 1)))

series193.0ms

Calls
4 calls:
Slowest
95.0ms
(+ (cbrt (* (* (/ 1 (- x 1)) (/ 1 (- x 1))) (/ 1 (- x 1)))) (/ x (+ x 1)))
46.0ms
(* (* (/ 1 (- x 1)) (/ 1 (- x 1))) (/ 1 (- x 1)))
33.0ms
(cbrt (* (* (/ 1 (- x 1)) (/ 1 (- x 1))) (/ 1 (- x 1))))
18.0ms
(* (/ 1 (- x 1)) (/ 1 (- x 1)))

simplify32.8s

Calls
411 calls:
Slowest
1.0s
(* (* (* (* (/ 1 (- x 1)) (/ 1 (- x 1))) (* (/ 1 (- x 1)) (/ 1 (- x 1)))) (* (/ 1 (- x 1)) (/ 1 (- x 1)))) (* (* (/ 1 (- x 1)) (/ 1 (- x 1))) (/ 1 (- x 1))))
886.0ms
(* (* (* (* (/ 1 (- x 1)) (/ 1 (- x 1))) (/ 1 (- x 1))) (* (* (/ 1 (- x 1)) (/ 1 (- x 1))) (/ 1 (- x 1)))) (/ (* (* 1 1) 1) (* (* (- x 1) (- x 1)) (- x 1))))
819.0ms
(* (* (* (* (/ 1 (- x 1)) (/ 1 (- x 1))) (* (/ 1 (- x 1)) (/ 1 (- x 1)))) (* (/ 1 (- x 1)) (/ 1 (- x 1)))) (/ (* (* 1 1) 1) (* (* (- x 1) (- x 1)) (- x 1))))
725.0ms
(* (* (* (* (/ 1 (- x 1)) (/ 1 (- x 1))) (/ 1 (- x 1))) (* (* (/ 1 (- x 1)) (/ 1 (- x 1))) (/ 1 (- x 1)))) (* (* (/ 1 (- x 1)) (/ 1 (- x 1))) (/ 1 (- x 1))))
569.0ms
(* (/ 1 (- (* x x) (* 1 1))) (/ 1 (- (* x x) (* 1 1))))

prune3.4s

Pruning

1 alts after pruning (0 fresh and 1 done)

Merged error: 0b

end0.0ms

sample845.0ms

Algorithm
intervals
Results
711.0ms8000×body80valid