Details

Time bar (total: 15.6s)

sample19.0ms

Algorithm
intervals
Results
14.0ms256×body80valid

simplify24.0ms

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

prune7.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

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

series152.0ms

Calls
3 calls:
Slowest
106.0ms
(+ (/ 1 (- x 1)) (/ x (+ x 1)))
26.0ms
(/ x (+ x 1))
20.0ms
(/ 1 (- x 1))

simplify1.4s

Calls
29 calls:
Slowest
205.0ms
(+ (* 1 (+ x 1)) (* (- x 1) x))
143.0ms
(- (+ (* 2 (pow x 2)) (+ (* 2 (pow x 4)) 1)))
120.0ms
(- (+ x (+ (pow x 2) 1)))
114.0ms
(+ (* 2 (/ 1 (pow x 4))) (+ 1 (* 2 (/ 1 (pow x 2)))))
110.0ms
(+ (* 2 (/ 1 (pow x 4))) (+ 1 (* 2 (/ 1 (pow x 2)))))

prune607.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0b

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

rewrite78.0ms

Algorithm
rewrite-expression-head
Rules
44×pow1
40×add-exp-log
26×pow-prod-up
22×prod-exp
21×pow-flip inv-pow
20×cbrt-div
19×frac-times associate-*l/
17×rec-exp
12×associate-*r*
11×add-cbrt-cube
10×*-un-lft-identity pow-prod-down frac-add associate-*r/ un-div-inv
8×add-sqr-sqrt add-cube-cbrt
7×associate-*l*
6×pow-plus associate-/r/ add-log-exp
4×expm1-log1p-u fma-def cbrt-unprod insert-posit16 log1p-expm1-u
3×pow2 flip3-- div-inv flip--
2×cbrt-prod pow3 *-commutative
1×+-commutative sum-log flip3-+ pow1/3 rem-cbrt-cube flip-+ distribute-lft-out
Calls
4 calls:
Slowest
27.0ms
(* (* (/ 1 (- x 1)) (/ 1 (- x 1))) (/ 1 (- x 1)))
20.0ms
(cbrt (* (* (/ 1 (- x 1)) (/ 1 (- x 1))) (/ 1 (- x 1))))
16.0ms
(+ (cbrt (* (* (/ 1 (- x 1)) (/ 1 (- x 1))) (/ 1 (- x 1)))) (/ x (+ x 1)))
11.0ms
(* (/ 1 (- x 1)) (/ 1 (- x 1)))

series210.0ms

Calls
4 calls:
Slowest
100.0ms
(+ (cbrt (* (* (/ 1 (- x 1)) (/ 1 (- x 1))) (/ 1 (- x 1)))) (/ x (+ x 1)))
40.0ms
(cbrt (* (* (/ 1 (- x 1)) (/ 1 (- x 1))) (/ 1 (- x 1))))
39.0ms
(* (* (/ 1 (- x 1)) (/ 1 (- x 1))) (/ 1 (- x 1)))
31.0ms
(* (/ 1 (- x 1)) (/ 1 (- x 1)))

simplify10.5s

Calls
147 calls:
Slowest
577.0ms
(* (cbrt (* (* (- x 1) (- x 1)) (- x 1))) (+ x 1))
510.0ms
(* (* (* (/ 1 (- x 1)) (/ 1 (- x 1))) (/ 1 (- x 1))) (* (* (/ 1 (- x 1)) (/ 1 (- x 1))) (/ 1 (- x 1))))
401.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))))
356.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))))
274.0ms
(* (exp (cbrt (* (* (/ 1 (- x 1)) (/ 1 (- x 1))) (/ 1 (- x 1))))) (exp (/ x (+ x 1))))

prune1.4s

Pruning

1 alts after pruning (0 fresh and 1 done)

Merged error: 0b

end0.0ms

sample1.2s

Algorithm
intervals
Results
1.1s8000×body80valid