Details

sample2.0m (55.8%)

Algorithm

56×	intervals
16×	halfpoints

Results

30.4s	67691×	body	1280	valid
19.4s	17547×	body	2560	valid
11.3s	41768×	body	640	valid
5.1s	93846×	body	80	valid
3.6s	20352×	body	320	valid
2.9s	62612×	body	80	nan
1.2s	10543×	body	160	valid
752.0ms	13293×	body	80	overflowed
740.0ms	47569×	pre	80	true
391.0ms	654×	body	1280	nan
269.0ms	632×	body	640	nan
199.0ms	431×	body	5120	valid
97.0ms	362×	body	320	nan
31.0ms	193×	body	160	nan

series37.5s (17.3%)

Calls

415 calls:

1.1s	(cbrt (+ (* 0.0021164021164021165 (pow x 5)) (* 0.3333333333333333 x)))
995.0ms	(* (cbrt (+ (* 0.0021164021164021165 (pow x 5)) (* 0.3333333333333333 x))) (cbrt (+ (* 0.0021164021164021165 (pow x 5)) (* 0.3333333333333333 x))))
919.0ms	(cbrt (+ (* 0.0021164021164021165 (pow x 5)) (* 0.3333333333333333 x)))
907.0ms	(cbrt (+ (* 0.0021164021164021165 (pow x 5)) (* 0.3333333333333333 x)))
556.0ms	(* (cbrt (/ (/ 1 2.0) (sqrt 2.0))) (* (/ (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) (sqrt 2.0)) (sin y)))

prune35.0s (16.1%)

simplify9.7s (4.4%)

Algorithm

195×	egg-herbie

rewrite6.9s (3.2%)

Algorithm

123×	rewrite-expression-head

Calls

415 calls:

231.0ms	(* (cbrt (+ (/ (pow eps 2) (pow 1.0 2)) eps)) (cbrt (+ (/ (pow eps 2) (pow 1.0 2)) eps)))
190.0ms	(+ (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (/ 1.0 (- x 1.0)))
127.0ms	(* (/ 1 x) (/ (/ 1 x) (/ 1 (- 1.0 (cos x)))))
123.0ms	(* (sqrt (/ 1.0 (+ (sqrt (+ x 1.0)) (sqrt x)))) (sqrt (/ 1.0 (+ (sqrt (+ x 1.0)) (sqrt x)))))
121.0ms	(pow (pow (cbrt (+ (/ (pow eps 2) (pow 1.0 2)) eps)) 6) 1/3)

Rules

6515×	`times-frac`
6068×	`*-un-lft-identity`
6012×	`add-sqr-sqrt`
3613×	`add-cube-cbrt`
1774×	`add-exp-log`
1133×	`add-cbrt-cube`
922×	`sqrt-prod`
877×	`difference-of-squares`
829×	`associate-l`
819×	`associate-r`
786×	`add-log-exp`
773×	`pow1`
761×	`distribute-lft-out--`
514×	`div-exp`
496×	`associate-/l*`
479×	`distribute-lft-out`
469×	`prod-exp`
457×	`unpow-prod-down`
441×	`associate-/r*`
401×	`cbrt-prod`
332×	`unswap-sqr`
306×	`div-inv`
300×	`flip3--` `flip--`
272×	`associate-/r/`
239×	`flip-+` `flip3-+`
230×	`cbrt-unprod` `cbrt-undiv`
221×	`sqr-pow`
216×	`associate-*l/`
204×	`cube-prod`
189×	`log-prod`
152×	`cbrt-div`
144×	`sub-neg`
136×	`pow-prod-down`
130×	`diff-log` `pow-unpow`
127×	`distribute-rgt-neg-in`
119×	`associate-*r/` `1-exp`
115×	`rec-exp`
113×	`frac-times`
102×	`pow-exp`
97×	`frac-add` `pow-to-exp`
95×	`associate-/l/`
89×	`exp-prod`
87×	`log-pow`
86×	`*-commutative`
82×	`log-div`
80×	`swap-sqr`
71×	`frac-2neg` `clear-num`
69×	`sum-log`
65×	`unpow2`
62×	`sqrt-div`
49×	`distribute-rgt-in` `sqrt-pow1` `distribute-lft-in`
42×	`pow1/3`
41×	`pow1/2`
40×	`+-commutative`
33×	`frac-sub`
32×	`pow-pow`
31×	`associate-+l+`
29×	`cos-mult` `exp-sum`
27×	`rem-sqrt-square` `sin-mult`
24×	`complex-mul-def` `div-sub`
20×	`tan-quot` `pow-prod-up` `rem-log-exp`
19×	`unpow3` `cube-mult` `neg-sub0`
18×	`associate--r-` `pow-sqr` `associate--l+`
16×	`pow-flip` `associate--r+`
15×	`neg-log`
14×	`associate--l-` `inv-pow`
11×	`associate-+l-`
9×	`pow-plus`
8×	`exp-diff` `associate-+r+`
7×	`rem-exp-log` `sub-div` `pow2`
6×	`rem-cube-cbrt` `*.c-commutative` `exp-to-pow`
5×	`difference-cubes` `sqrt-unprod` `associate-+r-`
4×	`pow-div` `sin-cos-mult` `+.c-commutative` `complex-add-def`
3×	`un-div-inv` `distribute-rgt-out--`
2×	`cube-div` `associate-+l+.c` `exp-neg` `difference-of-sqr-1` `unsub-neg` `associate-l.c` `tan-sum` `cos-sum` `frac-2neg.c` `sin-sum`
1×	`unpow1/3` `diff-atan` `diff-cos` `rem-square-sqrt` `sqrt-undiv` `diff-sin` `rem-cbrt-cube`

regimes3.0s (1.4%)

Accuracy

Total 28.7b remaining (11.1%)

Threshold costs 6.7b (2.6%)

5.8b	31.2%	expq3 (problem 3.4.2)
4.7b	83.5%	quadm (p42, negative)
4.6b	80.7%	quad2p (problem 3.2.1, positive)
2.6b	90.8%	quad2m (problem 3.2.1, negative)
1.6b	84.1%	2cos (problem 3.3.5)

Details

sample2.0m (55.8%)

series37.5s (17.3%)

prune35.0s (16.1%)

simplify9.7s (4.4%)

rewrite6.9s (3.2%)

regimes3.0s (1.4%)

localize2.1s (1.0%)

bsearch1.8s (0.8%)

end1.0ms (0.0%)