Details

Time bar (total: 3.0m)

sample76.0ms

Algorithm
intervals
Results
44.0ms256×body80valid
13.0ms256×pre80true

simplify121.0ms

Calls
1 calls:
Slowest
120.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: 2.3b

localize28.0ms

Local error

Found 3 expressions with local error:

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

rewrite69.0ms

Algorithm
rewrite-expression-head
Rules
531×times-frac
255×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
69×associate-/l*
46×associate-/r/
24×flip3-+ flip-+
23×div-inv
19×add-cbrt-cube add-exp-log
10×cbrt-undiv div-exp
9×associate-/r*
4×associate-/l/
3×expm1-log1p-u pow1 clear-num frac-2neg insert-posit16 log1p-expm1-u add-log-exp
Calls
3 calls:
Slowest
27.0ms
(/ (/ (+ 1.0 (fma beta alpha (+ beta alpha))) (+ 2 (+ beta alpha))) (+ 2 (+ beta alpha)))
21.0ms
(/ (/ (/ (+ 1.0 (fma beta alpha (+ beta alpha))) (+ 2 (+ beta alpha))) (+ 2 (+ beta alpha))) (+ (+ 1.0 (+ beta alpha)) 2))
8.0ms
(/ (+ 1.0 (fma beta alpha (+ beta alpha))) (+ 2 (+ beta alpha)))

series244.0ms

Calls
3 calls:
Slowest
108.0ms
(/ (/ (/ (+ 1.0 (fma beta alpha (+ beta alpha))) (+ 2 (+ beta alpha))) (+ 2 (+ beta alpha))) (+ (+ 1.0 (+ beta alpha)) 2))
89.0ms
(/ (/ (+ 1.0 (fma beta alpha (+ beta alpha))) (+ 2 (+ beta alpha))) (+ 2 (+ beta alpha)))
47.0ms
(/ (+ 1.0 (fma beta alpha (+ beta alpha))) (+ 2 (+ beta alpha)))

simplify1.9m

Calls
520 calls:
Slowest
987.0ms
(/ (/ (/ (+ 1.0 (fma beta alpha (+ beta alpha))) (- (* 2 2) (* (+ beta alpha) (+ beta alpha)))) (sqrt (+ 2 (+ beta alpha)))) (* (cbrt (+ (+ 1.0 (+ beta alpha)) 2)) (cbrt (+ (+ 1.0 (+ beta alpha)) 2))))
825.0ms
(/ (/ (/ (sqrt (+ 1.0 (fma beta alpha (+ beta alpha)))) (cbrt (+ 2 (+ beta alpha)))) (+ 2 (+ beta alpha))) (+ (+ 1.0 (+ beta alpha)) 2))
822.0ms
(/ (/ (/ (+ 1.0 (fma beta alpha (+ beta alpha))) (sqrt (+ 2 (+ beta alpha)))) (+ 2 (+ beta alpha))) (+ (+ 1.0 (+ beta alpha)) 2))
775.0ms
(/ (/ (/ (cbrt (+ 1.0 (fma beta alpha (+ beta alpha)))) (cbrt (+ 2 (+ beta alpha)))) (+ 2 (+ beta alpha))) (+ (+ 1.0 (+ beta alpha)) 2))
763.0ms
(/ (/ (/ (sqrt (+ 1.0 (fma beta alpha (+ beta alpha)))) (sqrt (+ 2 (+ beta alpha)))) (+ 2 (+ beta alpha))) (+ (+ 1.0 (+ beta alpha)) 2))

prune4.2s

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 0.8b

localize10.0ms

Local error

Found 4 expressions with local error:

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

rewrite44.0ms

Algorithm
rewrite-expression-head
Rules
156×times-frac
87×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
33×associate-/r/
29×associate-/l*
28×add-exp-log
25×div-inv
24×associate-/r*
14×div-exp
13×add-cbrt-cube
9×flip3-+ flip-+
6×rec-exp
5×pow1 cbrt-undiv
4×expm1-log1p-u clear-num frac-2neg insert-posit16 log1p-expm1-u add-log-exp associate-/l/
1×pow-flip inv-pow
Calls
4 calls:
Slowest
25.0ms
(/ (/ (/ 1 (/ (+ 2 (+ beta alpha)) (+ 1.0 (fma beta alpha (+ beta alpha))))) (+ 2 (+ beta alpha))) (+ (+ 1.0 (+ beta alpha)) 2))
8.0ms
(/ (+ 2 (+ beta alpha)) (+ 1.0 (fma beta alpha (+ beta alpha))))
5.0ms
(/ (/ 1 (/ (+ 2 (+ beta alpha)) (+ 1.0 (fma beta alpha (+ beta alpha))))) (+ 2 (+ beta alpha)))
2.0ms
(/ 1 (/ (+ 2 (+ beta alpha)) (+ 1.0 (fma beta alpha (+ beta alpha)))))

series283.0ms

Calls
4 calls:
Slowest
92.0ms
(/ (/ (/ 1 (/ (+ 2 (+ beta alpha)) (+ 1.0 (fma beta alpha (+ beta alpha))))) (+ 2 (+ beta alpha))) (+ (+ 1.0 (+ beta alpha)) 2))
87.0ms
(/ (/ 1 (/ (+ 2 (+ beta alpha)) (+ 1.0 (fma beta alpha (+ beta alpha))))) (+ 2 (+ beta alpha)))
53.0ms
(/ 1 (/ (+ 2 (+ beta alpha)) (+ 1.0 (fma beta alpha (+ beta alpha)))))
51.0ms
(/ (+ 2 (+ beta alpha)) (+ 1.0 (fma beta alpha (+ beta alpha))))

simplify55.7s

Calls
258 calls:
Slowest
751.0ms
(/ (sqrt (/ 1 (/ (+ 2 (+ beta alpha)) (+ 1.0 (fma beta alpha (+ beta alpha)))))) (* (cbrt (+ 2 (+ beta alpha))) (cbrt (+ 2 (+ beta alpha)))))
650.0ms
(/ (/ (+ 1.0 (fma beta alpha (+ beta alpha))) (+ 2 (+ beta alpha))) (+ (+ 1.0 (+ beta alpha)) 2))
631.0ms
(+ (pow 2 3) (pow (+ beta alpha) 3))
623.0ms
(/ (* (* (/ (/ 1 (/ (+ 2 (+ beta alpha)) (+ 1.0 (fma beta alpha (+ beta alpha))))) (+ 2 (+ beta alpha))) (/ (/ 1 (/ (+ 2 (+ beta alpha)) (+ 1.0 (fma beta alpha (+ beta alpha))))) (+ 2 (+ beta alpha)))) (/ (/ 1 (/ (+ 2 (+ beta alpha)) (+ 1.0 (fma beta alpha (+ beta alpha))))) (+ 2 (+ beta alpha)))) (* (* (+ (+ 1.0 (+ beta alpha)) 2) (+ (+ 1.0 (+ beta alpha)) 2)) (+ (+ 1.0 (+ beta alpha)) 2)))
569.0ms
(/ (/ 1 (+ 2 (+ beta alpha))) (+ (+ 1.0 (+ beta alpha)) 2))

prune2.7s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0b

localize12.0ms

Local error

Found 4 expressions with local error:

2.2b
(/ (+ 1.0 (fma beta alpha (+ beta alpha))) (+ 2 (+ beta alpha)))
2.2b
(/ (+ 1.0 (fma beta alpha (+ beta alpha))) (+ 2 (+ beta alpha)))
0.1b
(/ (+ (+ 1.0 (+ beta alpha)) 2) (sqrt (/ (/ (+ 1.0 (fma beta alpha (+ beta alpha))) (+ 2 (+ beta alpha))) (+ 2 (+ beta alpha)))))
0.1b
(/ (sqrt (/ (/ (+ 1.0 (fma beta alpha (+ beta alpha))) (+ 2 (+ beta alpha))) (+ 2 (+ beta alpha)))) (/ (+ (+ 1.0 (+ beta alpha)) 2) (sqrt (/ (/ (+ 1.0 (fma beta alpha (+ beta alpha))) (+ 2 (+ beta alpha))) (+ 2 (+ beta alpha))))))

rewrite1.6s

Algorithm
rewrite-expression-head
Rules
42372×times-frac
17187×sqrt-prod
15906×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
2757×associate-/r/
1407×div-inv
1353×flip3-+ flip-+
227×associate-/r*
63×associate-/l*
57×sqrt-div
15×add-cbrt-cube add-exp-log
7×associate-/l/
6×cbrt-undiv div-exp
4×expm1-log1p-u pow1 clear-num frac-2neg insert-posit16 log1p-expm1-u add-log-exp
Calls
4 calls:
Slowest
49.0ms
(/ (sqrt (/ (/ (+ 1.0 (fma beta alpha (+ beta alpha))) (+ 2 (+ beta alpha))) (+ 2 (+ beta alpha)))) (/ (+ (+ 1.0 (+ beta alpha)) 2) (sqrt (/ (/ (+ 1.0 (fma beta alpha (+ beta alpha))) (+ 2 (+ beta alpha))) (+ 2 (+ beta alpha))))))
32.0ms
(/ (+ (+ 1.0 (+ beta alpha)) 2) (sqrt (/ (/ (+ 1.0 (fma beta alpha (+ beta alpha))) (+ 2 (+ beta alpha))) (+ 2 (+ beta alpha)))))
13.0ms
(/ (+ 1.0 (fma beta alpha (+ beta alpha))) (+ 2 (+ beta alpha)))
8.0ms
(/ (+ 1.0 (fma beta alpha (+ beta alpha))) (+ 2 (+ beta alpha)))

series447.0ms

Calls
4 calls:
Slowest
214.0ms
(/ (+ (+ 1.0 (+ beta alpha)) 2) (sqrt (/ (/ (+ 1.0 (fma beta alpha (+ beta alpha))) (+ 2 (+ beta alpha))) (+ 2 (+ beta alpha)))))
89.0ms
(/ (sqrt (/ (/ (+ 1.0 (fma beta alpha (+ beta alpha))) (+ 2 (+ beta alpha))) (+ 2 (+ beta alpha)))) (/ (+ (+ 1.0 (+ beta alpha)) 2) (sqrt (/ (/ (+ 1.0 (fma beta alpha (+ beta alpha))) (+ 2 (+ beta alpha))) (+ 2 (+ beta alpha))))))
76.0ms
(/ (+ 1.0 (fma beta alpha (+ beta alpha))) (+ 2 (+ beta alpha)))
67.0ms
(/ (+ 1.0 (fma beta alpha (+ beta alpha))) (+ 2 (+ beta alpha)))