Details

Time bar (total: 4.6s)

sample65.0ms

Algorithm
intervals
Results
35.0ms256×body80valid
13.0ms256×pre80true

simplify121.0ms

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

prune22.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 2.3b

localize44.0ms

Local error

Found 4 expressions with local error:

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

rewrite3.8s

Algorithm
rewrite-expression-head
Rules
58398×*-un-lft-identity
38852×distribute-lft-out
23496×times-frac
7084×associate-*l*
5080×*-commutative
3666×add-sqr-sqrt add-cube-cbrt
888×associate-/l*
248×associate-/r/
162×associate-/l/
128×flip3-+ flip-+
124×div-inv
55×associate-/r*
20×add-cbrt-cube add-exp-log
13×add-log-exp
10×cbrt-undiv div-exp
9×fma-def
6×associate-+l+ clear-num sum-log frac-2neg
4×expm1-log1p-u pow1 insert-posit16 log1p-expm1-u
3×+-commutative
Calls
4 calls:
Slowest
889.0ms
(/ (/ (/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2 1))) (+ (+ alpha beta) (* 2 1))) (+ (+ (+ alpha beta) (* 2 1)) 1.0))
637.0ms
(/ (/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2 1))) (+ (+ alpha beta) (* 2 1)))
399.0ms
(/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2 1)))
181.0ms
(+ (+ (+ alpha beta) (* 2 1)) 1.0)

series485.0ms

Calls
4 calls:
Slowest
203.0ms
(/ (/ (/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2 1))) (+ (+ alpha beta) (* 2 1))) (+ (+ (+ alpha beta) (* 2 1)) 1.0))
170.0ms
(/ (/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2 1))) (+ (+ alpha beta) (* 2 1)))
98.0ms
(/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2 1)))
15.0ms
(+ (+ (+ alpha beta) (* 2 1)) 1.0)