Details

Time bar (total: 10.0m)

sample69.0ms

Algorithm
intervals
Results
37.0ms256×body80valid
11.0ms256×pre80true

simplify926.0ms

Counts
1 → 1
Iterations
IterNodes
42384
3459
2104
133
015

prune13.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 3.8b

localize21.0ms

Local error

Found 4 expressions with local error:

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

rewrite513.0ms

Algorithm
rewrite-expression-head
Rules
4338×*-un-lft-identity
2696×times-frac
2176×distribute-lft-out
779×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
5×fma-def
4×expm1-log1p-u pow1 insert-posit16 log1p-expm1-u associate-/l/
3×clear-num frac-2neg
1×+-commutative associate-+l+
Counts
4 → 1234
Calls
4 calls:
104.0ms
(+ (+ 2 (+ beta alpha)) 1.0)
75.0ms
(/ (/ (+ 1.0 (fma beta alpha (+ beta alpha))) (+ 2 (+ beta alpha))) (+ 2 (+ beta alpha)))
224.0ms
(/ (/ (/ (+ 1.0 (fma beta alpha (+ beta alpha))) (+ 2 (+ beta alpha))) (+ 2 (+ beta alpha))) (+ (+ 2 (+ beta alpha)) 1.0))
46.0ms
(/ (+ 1.0 (fma beta alpha (+ beta alpha))) (+ 2 (+ beta alpha)))

series571.0ms

Counts
4 → 12
Calls
4 calls:
16.0ms
(+ (+ 2 (+ beta alpha)) 1.0)
192.0ms
(/ (/ (+ 1.0 (fma beta alpha (+ beta alpha))) (+ 2 (+ beta alpha))) (+ 2 (+ beta alpha)))
223.0ms
(/ (/ (/ (+ 1.0 (fma beta alpha (+ beta alpha))) (+ 2 (+ beta alpha))) (+ 2 (+ beta alpha))) (+ (+ 2 (+ beta alpha)) 1.0))
139.0ms
(/ (+ 1.0 (fma beta alpha (+ beta alpha))) (+ 2 (+ beta alpha)))

simplify2.5s

Counts
1246 → 1246
Iterations
IterNodes
24034
11422
0612

prune14.9s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.9b

localize31.0ms

Local error

Found 4 expressions with local error:

0.0b
(/ (/ 1 (/ (+ 2 (+ beta alpha)) (+ 1.0 (fma beta alpha (+ beta alpha))))) (+ 2 (+ beta alpha)))
0.1b
(/ 1 (/ (+ 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))) (+ (+ 2 (+ beta alpha)) 1.0))
3.6b
(/ (+ 2 (+ beta alpha)) (+ 1.0 (fma beta alpha (+ beta alpha))))

rewrite806.0ms

Algorithm
rewrite-expression-head
Rules
14483×*-un-lft-identity
11682×times-frac
6707×distribute-lft-out
3513×add-sqr-sqrt add-cube-cbrt
512×associate-/l*
316×associate-/r/
179×div-inv
138×flip3-+ flip-+
64×add-exp-log
44×div-exp
41×associate-/r*
34×add-cbrt-cube
20×cbrt-undiv
6×rec-exp 1-exp
5×pow1
4×expm1-log1p-u clear-num frac-2neg insert-posit16 log1p-expm1-u add-log-exp associate-/l/
1×pow-flip inv-pow
Counts
4 → 3689
Calls
4 calls:
88.0ms
(/ (/ 1 (/ (+ 2 (+ beta alpha)) (+ 1.0 (fma beta alpha (+ beta alpha))))) (+ 2 (+ beta alpha)))
39.0ms
(/ 1 (/ (+ 2 (+ beta alpha)) (+ 1.0 (fma beta alpha (+ beta alpha)))))
240.0ms
(/ (/ (/ 1 (/ (+ 2 (+ beta alpha)) (+ 1.0 (fma beta alpha (+ beta alpha))))) (+ 2 (+ beta alpha))) (+ (+ 2 (+ beta alpha)) 1.0))
68.0ms
(/ (+ 2 (+ beta alpha)) (+ 1.0 (fma beta alpha (+ beta alpha))))

series690.0ms

Counts
4 → 12
Calls
4 calls:
205.0ms
(/ (/ 1 (/ (+ 2 (+ beta alpha)) (+ 1.0 (fma beta alpha (+ beta alpha))))) (+ 2 (+ beta alpha)))
109.0ms
(/ 1 (/ (+ 2 (+ beta alpha)) (+ 1.0 (fma beta alpha (+ beta alpha)))))
224.0ms
(/ (/ (/ 1 (/ (+ 2 (+ beta alpha)) (+ 1.0 (fma beta alpha (+ beta alpha))))) (+ 2 (+ beta alpha))) (+ (+ 2 (+ beta alpha)) 1.0))
152.0ms
(/ (+ 2 (+ beta alpha)) (+ 1.0 (fma beta alpha (+ beta alpha))))

simplify7.6s

Counts
3701 → 3701
Iterations
IterNodes
14292
01610

prune47.6s

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0b

localize38.0ms

Local error

Found 4 expressions with local error:

0.1b
(/ (/ (/ (/ 1 (/ (+ 2 (+ beta alpha)) (+ 1.0 (fma beta alpha (+ beta alpha))))) (sqrt (+ 2 (+ beta alpha)))) (sqrt (+ 2 (+ beta alpha)))) (+ (+ 2 (+ beta alpha)) 1.0))
0.1b
(/ (/ (/ 1 (/ (+ 2 (+ beta alpha)) (+ 1.0 (fma beta alpha (+ beta alpha))))) (sqrt (+ 2 (+ beta alpha)))) (sqrt (+ 2 (+ beta alpha))))
0.6b
(/ (/ 1 (/ (+ 2 (+ beta alpha)) (+ 1.0 (fma beta alpha (+ beta alpha))))) (sqrt (+ 2 (+ beta alpha))))
3.6b
(/ (+ 2 (+ beta alpha)) (+ 1.0 (fma beta alpha (+ beta alpha))))

rewrite7.8s

Algorithm
rewrite-expression-head
Rules
207437×*-un-lft-identity
191922×times-frac
91722×distribute-lft-out
57287×add-sqr-sqrt add-cube-cbrt
54200×sqrt-prod
6124×associate-/l*
3855×associate-/r/
2192×div-inv
1664×flip3-+ flip-+
148×sqrt-div
91×add-exp-log
68×div-exp
49×add-cbrt-cube
32×cbrt-undiv
26×associate-/r*
6×rec-exp 1-exp
5×associate-/l/
4×expm1-log1p-u pow1 clear-num frac-2neg insert-posit16 log1p-expm1-u add-log-exp
Counts
4 → 44493
Calls
4 calls:
438.0ms
(/ (/ (/ (/ 1 (/ (+ 2 (+ beta alpha)) (+ 1.0 (fma beta alpha (+ beta alpha))))) (sqrt (+ 2 (+ beta alpha)))) (sqrt (+ 2 (+ beta alpha)))) (+ (+ 2 (+ beta alpha)) 1.0))
142.0ms
(/ (/ (/ 1 (/ (+ 2 (+ beta alpha)) (+ 1.0 (fma beta alpha (+ beta alpha))))) (sqrt (+ 2 (+ beta alpha)))) (sqrt (+ 2 (+ beta alpha))))
93.0ms
(/ (/ 1 (/ (+ 2 (+ beta alpha)) (+ 1.0 (fma beta alpha (+ beta alpha))))) (sqrt (+ 2 (+ beta alpha))))
63.0ms
(/ (+ 2 (+ beta alpha)) (+ 1.0 (fma beta alpha (+ beta alpha))))

series824.0ms

Counts
4 → 12
Calls
4 calls:
241.0ms
(/ (/ (/ (/ 1 (/ (+ 2 (+ beta alpha)) (+ 1.0 (fma beta alpha (+ beta alpha))))) (sqrt (+ 2 (+ beta alpha)))) (sqrt (+ 2 (+ beta alpha)))) (+ (+ 2 (+ beta alpha)) 1.0))
215.0ms
(/ (/ (/ 1 (/ (+ 2 (+ beta alpha)) (+ 1.0 (fma beta alpha (+ beta alpha))))) (sqrt (+ 2 (+ beta alpha)))) (sqrt (+ 2 (+ beta alpha))))
220.0ms
(/ (/ 1 (/ (+ 2 (+ beta alpha)) (+ 1.0 (fma beta alpha (+ beta alpha))))) (sqrt (+ 2 (+ beta alpha))))
148.0ms
(/ (+ 2 (+ beta alpha)) (+ 1.0 (fma beta alpha (+ beta alpha))))

simplify3.3m

Counts
44505 → 44505
Iterations
IterNodes
121391
09612

prune5.3m