Details

sample1.8m (52.7%)

Algorithm
56×intervals
16×halfpoints
Results
24.4s67332×body1280valid
16.6s17224×body2560valid
8.5s43029×body640valid
4.0s13079×body10240exit
2.9s93199×body80valid
2.6s20577×body320valid
1.7s62973×body80nan
857.0ms10367×body160valid
578.0ms47421×pre80true
292.0ms642×body1280nan
233.0ms707×body640nan
131.0ms425×body5120valid
62.0ms321×body320nan
20.0ms180×body160nan

prune37.8s (18.5%)

series33.7s (16.5%)

Calls

407 calls:

694.0ms
(/ (* 1.0 (/ 1.0 (+ (sqrt (+ x 1.0)) (sqrt x)))) (* (sqrt x) (sqrt (+ x 1.0))))
610.0ms
(- (pow (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) 3) (pow (cos x) 3))
498.0ms
(/ (* 1.0 (/ (+ x (- 1.0 x)) (+ (sqrt (+ x 1.0)) (sqrt x)))) (* (sqrt x) (sqrt (+ x 1.0))))
468.0ms
(/ (+ 0 (* 1 (* 4.0 (* a c)))) (* (+ (- b) (* (fabs (cbrt (- (* b b) (* 4.0 (* a c))))) (sqrt (cbrt (- (* b b) (* 4.0 (* a c))))))) (* 2.0 a)))
392.0ms
(- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))

simplify10.7s (5.2%)

Algorithm
194×egg-herbie

rewrite7.3s (3.6%)

Algorithm
122×rewrite-expression-head
Calls

407 calls:

330.0ms
(+ (- (/ (* (cbrt 1.0) (cbrt 1.0)) (/ (+ x 1.0) (cbrt 1.0))) (/ 2.0 x)) (/ 1.0 (- x 1.0)))
190.0ms
(- (/ (/ 1.0 n) x) (- (/ (/ 0.5 n) (pow x 2)) (/ (* (log x) 1.0) (* x (pow n 2)))))
189.0ms
(+ (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (/ 1.0 (- x 1.0)))
160.0ms
(* (/ (+ (- (* 1.0 1.0)) (pow (exp a) (* 2 eps))) (+ (exp (* a eps)) 1.0)) (+ (* 1/6 (* (pow eps 3) (pow b 3))) (+ (* 1/2 (* (pow eps 2) (pow b 2))) (* eps b))))
151.0ms
(/ (+ (/ (- (/ 1 x)) x) (* 1/144 (* x x))) (- (* 1/12 x) (/ 1 x)))
Rules
13901×times-frac
11587×*-un-lft-identity
9051×add-sqr-sqrt
8264×sqrt-prod
6728×add-cube-cbrt
2089×distribute-lft-out
1432×add-exp-log
1027×add-cbrt-cube
969×unpow-prod-down
933×associate-*l*
907×difference-of-squares
891×associate-*r*
729×add-log-exp
673×pow1
620×associate-/l*
587×distribute-lft-out--
479×cbrt-prod
457×cube-prod
428×sqr-pow
383×associate-/r*
373×prod-exp
354×div-inv
341×unswap-sqr
330×div-exp
275×flip-- flip3--
222×associate-/r/
201×cbrt-undiv
191×cbrt-unprod
184×log-prod
182×log-pow
172×unpow2
147×flip-+ flip3-+
146×sub-neg
126×exp-prod
123×diff-log
120×pow-exp
117×pow-to-exp
105×associate-*l/
93×sqrt-div
88×pow-unpow
86×associate-*r/
81×pow-prod-down *-commutative
79×associate-/l/
76×distribute-rgt-neg-in
65×clear-num frac-2neg
64×sqrt-pow1
63×frac-times
60×cbrt-div
56×sum-log
52×distribute-lft-neg-in unpow3 cube-mult
50×pow1/2 pow1/3
49×distribute-rgt-in distribute-lft-in
39×frac-sub
38×associate-+l+
37×frac-add associate--l+
35×+-commutative
34×rem-sqrt-square
33×rec-exp 1-exp log-div
31×associate--r+
27×tan-quot swap-sqr
26×div-sub
24×complex-mul-def
23×pow-pow
20×cube-div rem-log-exp
19×pow-flip
18×exp-sum
16×neg-sub0
15×rem-cube-cbrt cos-mult
14×difference-cubes sin-mult
13×associate-+l-
11×associate--l-
10×pow-div
9×exp-diff neg-log
8×associate-+r+
6×sub-div *.c-commutative pow-sqr pow-prod-up
5×inv-pow
4×associate--r- difference-of-sqr-1 +.c-commutative complex-add-def neg-mul-1 rem-cbrt-cube
3×sin-cos-mult un-div-inv sqrt-unprod associate-+r- pow2 pow-plus exp-to-pow
2×cos-sum associate-+l+.c exp-neg associate-*l*.c tan-sum sin-sum
1×rem-exp-log diff-atan diff-cos distribute-frac-neg frac-2neg.c diff-sin distribute-neg-frac

regimes3.4s (1.6%)

Accuracy

Total 29.6b remaining (11.5%)

Threshold costs 5.0b (1.9%)

5.7b38.6%expq3 (problem 3.4.2)
4.4b84.9%quadp (p42, positive)
4.4b85%quad2p (problem 3.2.1, positive)
4.2b85.4%quadm (p42, negative)
1.6b83.3%2cos (problem 3.3.5)

localize2.0s (1.0%)

bsearch1.7s (0.8%)

end1.0ms (0.0%)