Details

sample64.0ms

Algorithm

intervals

Results

51.0ms

307×

body

80

valid

simplify373.0ms

Calls

1 calls:

Slowest

373.0ms

(* (* (/ PI 2) (/ 1 (- (* b b) (* a a)))) (- (/ 1 a) (/ 1 b)))

prune21.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 12.8b

localize30.0ms

Local error

Found 4 expressions with local error:

7.1b	(/ (/ PI (- (* b b) (* a a))) (/ 2 (- (/ 1 a) (/ 1 b))))
4.5b	(- (* b b) (* a a))
0.9b	(/ PI (- (* b b) (* a a)))
0.2b	(/ 2 (- (/ 1 a) (/ 1 b)))

rewrite2.4s

Algorithm

rewrite-expression-head

Rules

42173×	`add-sqr-sqrt`
41487×	`times-frac`
22831×	`*-un-lft-identity`
13932×	`difference-of-squares`
12371×	`add-cube-cbrt`
9198×	`associate-/r/`
8667×	`frac-sub`
6026×	`associate-/r*`
5895×	`associate-/l*`
5292×	`swap-sqr`
4466×	`distribute-lft-out--`
4410×	`*-commutative` `unswap-sqr`
1931×	`clear-num` `frac-2neg`
1764×	`associate-l`
1546×	`div-inv`
254×	`flip3--` `flip--`
39×	`associate-/l/`
20×	`add-cbrt-cube` `add-exp-log`
10×	`cbrt-undiv` `div-exp`
6×	`add-log-exp`
4×	`pow1` `insert-posit16`
1×	`sub-neg` `diff-log`

Calls

4 calls:

Slowest

140.0ms	(/ (/ PI (- (* b b) (* a a))) (/ 2 (- (/ 1 a) (/ 1 b))))
65.0ms	(- (* b b) (* a a))
35.0ms	(/ PI (- (* b b) (* a a)))
26.0ms	(/ 2 (- (/ 1 a) (/ 1 b)))

series249.0ms

Calls

4 calls:

Slowest

118.0ms	(/ (/ PI (- (* b b) (* a a))) (/ 2 (- (/ 1 a) (/ 1 b))))
49.0ms	(/ PI (- (* b b) (* a a)))
48.0ms	(/ 2 (- (/ 1 a) (/ 1 b)))
34.0ms	(- (* b b) (* a a))