Details

Time bar (total: 7.3m)

sample46.0ms

Algorithm
intervals
Results
23.0ms256×body80valid
7.0ms256×pre80true

simplify86.0ms

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

prune8.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 4.8b

localize38.0ms

Local error

Found 4 expressions with local error:

4.6b
(/ (+ 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)

rewrite933.0ms

Algorithm
rewrite-expression-head
Rules
4332×*-un-lft-identity
2696×times-frac
2173×distribute-lft-out
778×add-sqr-sqrt add-cube-cbrt
166×associate-/l*
102×associate-/r/
53×flip3-+ flip-+
51×div-inv
20×add-cbrt-cube add-exp-log
16×associate-/r*
13×add-log-exp
10×cbrt-undiv div-exp
6×sum-log
4×pow1 insert-posit16 associate-/l/
3×clear-num frac-2neg
1×+-commutative associate-+l+
Calls
4 calls:
Slowest
358.0ms
(/ (/ (/ (+ 1.0 (+ (* alpha beta) (+ beta alpha))) (+ 2 (+ beta alpha))) (+ 2 (+ beta alpha))) (+ (+ 1.0 (+ beta alpha)) 2))
215.0ms
(/ (+ 1.0 (+ (* alpha beta) (+ beta alpha))) (+ 2 (+ beta alpha)))
212.0ms
(/ (/ (+ 1.0 (+ (* alpha beta) (+ beta alpha))) (+ 2 (+ beta alpha))) (+ 2 (+ beta alpha)))
80.0ms
(+ (+ 1.0 (+ beta alpha)) 2)

series453.0ms

Calls
4 calls:
Slowest
189.0ms
(/ (/ (/ (+ 1.0 (+ (* alpha beta) (+ beta alpha))) (+ 2 (+ beta alpha))) (+ 2 (+ beta alpha))) (+ (+ 1.0 (+ beta alpha)) 2))
173.0ms
(/ (/ (+ 1.0 (+ (* alpha beta) (+ beta alpha))) (+ 2 (+ beta alpha))) (+ 2 (+ beta alpha)))
77.0ms
(/ (+ 1.0 (+ (* alpha beta) (+ beta alpha))) (+ 2 (+ beta alpha)))
14.0ms
(+ (+ 1.0 (+ beta alpha)) 2)

simplify7.0m

Calls
2150 calls:
Slowest
969.0ms
(/ (/ (/ (+ 1.0 (+ (* alpha beta) (+ beta alpha))) (cbrt (+ 2 (+ beta alpha)))) (+ 2 (+ beta alpha))) (+ (+ 1.0 (+ beta alpha)) 2))
930.0ms
(/ (/ (cbrt (/ (+ 1.0 (+ (* alpha beta) (+ beta alpha))) (+ 2 (+ beta alpha)))) (+ 2 (+ beta alpha))) (+ (+ 1.0 (+ beta alpha)) 2))
902.0ms
(/ (/ (/ (cbrt (+ 1.0 (+ (* alpha beta) (+ beta alpha)))) (+ 2 (+ beta alpha))) (sqrt (+ 2 (+ beta alpha)))) (+ (+ 1.0 (+ beta alpha)) 2))
881.0ms
(/ (/ (/ (cbrt (+ 1.0 (+ (* alpha beta) (+ beta alpha)))) (+ 2 (+ beta alpha))) (sqrt (+ 2 (+ beta alpha)))) (+ (+ 1.0 (+ beta alpha)) 2))
847.0ms
(/ (/ (/ (+ 1.0 (+ (* alpha beta) (+ beta alpha))) (- (* 2 2) (* (+ beta alpha) (+ beta alpha)))) 1) (* (cbrt (+ (+ 1.0 (+ beta alpha)) 2)) (cbrt (+ (+ 1.0 (+ beta alpha)) 2))))

prune13.7s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 1.8b

localize57.0ms

Local error

Found 4 expressions with local error:

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

rewrite695.0ms

Algorithm
rewrite-expression-head
Rules
4332×*-un-lft-identity
2696×times-frac
2173×distribute-lft-out
778×add-sqr-sqrt add-cube-cbrt
166×associate-/l*
102×associate-/r/
53×flip3-+ flip-+
51×div-inv
20×add-cbrt-cube add-exp-log
16×associate-/r*
13×add-log-exp
10×cbrt-undiv div-exp
6×sum-log
4×pow1 insert-posit16 associate-/l/
3×clear-num frac-2neg
1×+-commutative associate-+r+
Calls
4 calls:
Slowest
249.0ms
(/ (/ (/ (+ 1.0 (+ (* alpha beta) (+ beta alpha))) (+ 2 (+ beta alpha))) (+ 2 (+ beta alpha))) (+ 2 (+ 1.0 (+ beta alpha))))
179.0ms
(/ (+ 1.0 (+ (* alpha beta) (+ beta alpha))) (+ 2 (+ beta alpha)))
156.0ms
(/ (/ (+ 1.0 (+ (* alpha beta) (+ beta alpha))) (+ 2 (+ beta alpha))) (+ 2 (+ beta alpha)))
27.0ms
(+ 2 (+ 1.0 (+ beta alpha)))

series864.0ms

Calls
4 calls:
Slowest
523.0ms
(/ (/ (+ 1.0 (+ (* alpha beta) (+ beta alpha))) (+ 2 (+ beta alpha))) (+ 2 (+ beta alpha)))
202.0ms
(/ (/ (/ (+ 1.0 (+ (* alpha beta) (+ beta alpha))) (+ 2 (+ beta alpha))) (+ 2 (+ beta alpha))) (+ 2 (+ 1.0 (+ beta alpha))))
118.0ms
(/ (+ 1.0 (+ (* alpha beta) (+ beta alpha))) (+ 2 (+ beta alpha)))
21.0ms
(+ 2 (+ 1.0 (+ beta alpha)))