Details

Time bar (total: 2.5m)

sample38.4s

Algorithm
halfpoints

simplify1.2s

Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01317
12917
25417
310217
421317
597817
done500117

prune7.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 32.7b

localize12.1s

Local error

Found 4 expressions with local error:

3.7b
(exp (- (lgamma (+ n r)) (+ (lgamma n) (lgamma r))))
5.3b
(- n (exp (- (lgamma (+ n r)) (+ (lgamma n) (lgamma r)))))
19.4b
(lgamma (+ n r))
21.4b
(- (lgamma (+ n r)) (+ (lgamma n) (lgamma r)))

rewrite325.0ms

Algorithm
rewrite-expression-head
Rules
17×*-un-lft-identity add-log-exp
11×add-sqr-sqrt
exp-prod
diff-log add-cube-cbrt distribute-lft-out--
pow1 add-cbrt-cube add-exp-log
sub-neg difference-of-squares rem-exp-log
sum-log flip3-- exp-sum flip-- distribute-lft-out
exp-diff associate--r+
Counts
4 → 57
Calls
4 calls:
147.0ms
(exp (- (lgamma (+ n r)) (+ (lgamma n) (lgamma r))))
144.0ms
(- n (exp (- (lgamma (+ n r)) (+ (lgamma n) (lgamma r)))))
0.0ms
(lgamma (+ n r))
28.0ms
(- (lgamma (+ n r)) (+ (lgamma n) (lgamma r)))

series234.0ms

Counts
4 → 12
Calls
4 calls:
72.0ms
(exp (- (lgamma (+ n r)) (+ (lgamma n) (lgamma r))))
90.0ms
(- n (exp (- (lgamma (+ n r)) (+ (lgamma n) (lgamma r)))))
4.0ms
(lgamma (+ n r))
67.0ms
(- (lgamma (+ n r)) (+ (lgamma n) (lgamma r)))

simplify2.8s

Counts
69 → 69
Iterations

Useful iterations: 2 (164.0ms)

IterNodesCost
085969
1195911
2593856
33645856
done5000856

prune564.0ms

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 27.4b

localize13.2s

Local error

Found 4 expressions with local error:

19.4b
(lgamma (+ n r))
21.4b
(- (lgamma (+ n r)) (+ (lgamma n) (lgamma r)))
21.4b
(- (lgamma (+ n r)) (+ (lgamma n) (lgamma r)))
21.4b
(- (lgamma (+ n r)) (+ (lgamma n) (lgamma r)))

rewrite114.0ms

Algorithm
rewrite-expression-head
Rules
19×*-un-lft-identity add-log-exp
10×add-sqr-sqrt
diff-log distribute-lft-out--
pow1 add-cbrt-cube add-exp-log add-cube-cbrt
sum-log sub-neg flip3-- flip-- distribute-lft-out associate--r+ difference-of-squares
Counts
4 → 58
Calls
4 calls:
0.0ms
(lgamma (+ n r))
39.0ms
(- (lgamma (+ n r)) (+ (lgamma n) (lgamma r)))
35.0ms
(- (lgamma (+ n r)) (+ (lgamma n) (lgamma r)))
36.0ms
(- (lgamma (+ n r)) (+ (lgamma n) (lgamma r)))

series93.0ms

Counts
4 → 12
Calls
4 calls:
3.0ms
(lgamma (+ n r))
28.0ms
(- (lgamma (+ n r)) (+ (lgamma n) (lgamma r)))
30.0ms
(- (lgamma (+ n r)) (+ (lgamma n) (lgamma r)))
31.0ms
(- (lgamma (+ n r)) (+ (lgamma n) (lgamma r)))

simplify4.1s

Counts
70 → 70
Iterations

Useful iterations: 2 (88.0ms)

IterNodesCost
047977
1100942
2255882
3966882
44749882
done5000882

prune624.0ms

Pruning

16 alts after pruning (16 fresh and 0 done)

Merged error: 27.4b

regimes378.0ms

bsearch9.7s

Steps
ItersRangePoint
10
11427567992489.943
5.025885199083831e+29
8721434150111052.0

simplify10.0ms

Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
02868
13368
23568
done3568

end0.0ms

sample1.1m

Algorithm
halfpoints