Details

Time bar (total: 2.4s)

sample70.0ms

Algorithm
intervals
Results
40.0ms256×body80valid
12.0ms256×pre80true

simplify155.0ms

Calls
1 calls:
Slowest
155.0ms
(/ (/ (/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2 1))) (+ (+ alpha beta) (* 2 1))) (+ (+ (+ alpha beta) (* 2 1)) 1.0))

prune16.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 5.0b

localize57.0ms

Local error

Found 4 expressions with local error:

4.8b
(/ (+ 1.0 (+ (* alpha beta) (+ beta alpha))) (+ 2 (+ beta alpha)))
0.1b
(/ (/ (/ (+ 1.0 (+ (* alpha beta) (+ beta alpha))) (+ 2 (+ beta alpha))) (+ 2 (+ beta alpha))) (+ (+ 1.0 (+ beta alpha)) 2))
0.0b
(/ (/ (+ 1.0 (+ (* alpha beta) (+ beta alpha))) (+ 2 (+ beta alpha))) (+ 2 (+ beta alpha)))
0.0b
(+ (+ 1.0 (+ beta alpha)) 2)

rewrite1.6s

Algorithm
rewrite-expression-head
Rules
10440×*-un-lft-identity
5977×distribute-lft-out
4976×times-frac
1225×add-sqr-sqrt add-cube-cbrt
436×associate-*l*
352×associate-/l*
114×associate-/l/
104×associate-/r/
56×flip3-+ flip-+
52×div-inv
31×associate-/r*
20×add-cbrt-cube add-exp-log
13×add-log-exp
10×cbrt-undiv div-exp
6×clear-num sum-log frac-2neg
4×pow1 associate-+l+ insert-posit16
3×+-commutative
2×associate-+r+
Calls
4 calls:
Slowest
646.0ms
(/ (/ (/ (+ 1.0 (+ (* alpha beta) (+ beta alpha))) (+ 2 (+ beta alpha))) (+ 2 (+ beta alpha))) (+ (+ 1.0 (+ beta alpha)) 2))
370.0ms
(/ (/ (+ 1.0 (+ (* alpha beta) (+ beta alpha))) (+ 2 (+ beta alpha))) (+ 2 (+ beta alpha)))
280.0ms
(/ (+ 1.0 (+ (* alpha beta) (+ beta alpha))) (+ 2 (+ beta alpha)))
108.0ms
(+ (+ 1.0 (+ beta alpha)) 2)

series510.0ms

Calls
4 calls:
Slowest
196.0ms
(/ (/ (/ (+ 1.0 (+ (* alpha beta) (+ beta alpha))) (+ 2 (+ beta alpha))) (+ 2 (+ beta alpha))) (+ (+ 1.0 (+ beta alpha)) 2))
188.0ms
(/ (/ (+ 1.0 (+ (* alpha beta) (+ beta alpha))) (+ 2 (+ beta alpha))) (+ 2 (+ beta alpha)))
112.0ms
(/ (+ 1.0 (+ (* alpha beta) (+ beta alpha))) (+ 2 (+ beta alpha)))
14.0ms
(+ (+ 1.0 (+ beta alpha)) 2)