Details

sample2.1m (54.2%)

Algorithm
56×intervals
16×halfpoints
Results
29.7s67798×body1280valid
20.6s17422×body2560valid
11.0s42167×body640valid
5.1s92338×body80valid
3.6s20637×body320valid
3.2s63992×body80nan
1.7s2303×body1280nan
1.2s10692×body160valid
984.0ms1867×body640nan
899.0ms1494×body10240exit
763.0ms47392×pre80true
665.0ms11508×body80overflowed
326.0ms933×body320nan
283.0ms463×body160nan
217.0ms453×body5120valid

prune42.1s (18.0%)

series40.2s (17.2%)

Calls

401 calls:

1.0s
(cbrt (fma 0.0021164021164021165 (pow x 5) (* 0.3333333333333333 x)))
974.0ms
(cbrt (* (cbrt (fma 0.0021164021164021165 (pow x 5) (* 0.3333333333333333 x))) (cbrt (fma 0.0021164021164021165 (pow x 5) (* 0.3333333333333333 x)))))
953.0ms
(* (cbrt (fma 0.0021164021164021165 (pow x 5) (* 0.3333333333333333 x))) (cbrt (fma 0.0021164021164021165 (pow x 5) (* 0.3333333333333333 x))))
943.0ms
(cbrt (cbrt (fma 0.0021164021164021165 (pow x 5) (* 0.3333333333333333 x))))
926.0ms
(cbrt (fma 0.0021164021164021165 (pow x 5) (* 0.3333333333333333 x)))

simplify10.9s (4.7%)

Algorithm
195×egg-herbie

rewrite6.8s (2.9%)

Algorithm
123×rewrite-expression-head
Calls

401 calls:

544.0ms
(/ (+ (/ (- (/ 1 a)) a) (/ (/ 1 b) b)) (- (/ 1 b) (/ 1 a)))
237.0ms
(+ (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (/ 1.0 (- x 1.0)))
189.0ms
(+ (/ (- (/ 1 a)) a) (/ (/ 1 b) b))
161.0ms
(* (sqrt (/ (+ 1.0 0) (+ (sqrt (+ x 1.0)) (sqrt x)))) (sqrt (/ (+ 1.0 0) (+ (sqrt (+ x 1.0)) (sqrt x)))))
117.0ms
(* (cbrt (+ (/ 1 b) (/ 1 a))) (cbrt (+ (/ 1 b) (/ 1 a))))
Rules
10972×*-un-lft-identity
9721×times-frac
9070×add-sqr-sqrt
6760×add-cube-cbrt
3722×prod-diff
1957×sqrt-prod
1208×add-exp-log
1166×distribute-lft-out
924×unpow-prod-down
911×add-cbrt-cube
897×difference-of-squares
853×distribute-lft-out--
683×pow1
670×div-inv
666×add-log-exp
641×distribute-rgt-neg-in
612×associate-*r*
557×cbrt-prod
551×associate-/l*
489×log-prod
453×fma-neg
429×associate-*l*
399×associate-/r*
390×associate-+l+
389×expm1-log1p-u
386×log1p-expm1-u
375×associate-/r/
340×distribute-lft-neg-in
323×sqr-pow
298×div-exp
255×flip-- flip3-- cube-prod
239×prod-exp
207×exp-sum
206×pow-unpow
195×unswap-sqr
189×distribute-rgt-in distribute-lft-in
183×fma-def
179×flip-+ flip3-+
174×cbrt-undiv
149×log-pow
147×cbrt-unprod
141×unpow2
133×swap-sqr
127×sqrt-div
120×sub-neg
116×diff-log
96×exp-prod
92×associate-*l/
90×neg-mul-1
79×associate-/l/
74×pow-prod-down pow-exp
72×associate-*r/
71×cbrt-div
70×frac-2neg clear-num
69×frac-times
66×pow-to-exp
64×unpow3 pow1/3
59×cube-mult
54×*-commutative sqrt-pow1
53×pow1/2
52×associate-+r+
51×tan-quot
40×log-div
38×rec-exp 1-exp
37×frac-add
29×div-sub
28×rem-sqrt-square fma-udef sum-log
25×unpow-prod-up
24×complex-mul-def rem-log-exp
23×neg-sub0
20×+-commutative
19×pow-pow
18×pow-prod-up cube-div
16×exp-diff pow-flip
14×associate--l- pow-sqr
12×neg-log
11×associate-+l-
10×inv-pow frac-sub
9×associate--l+
6×rem-cube-cbrt un-div-inv pow2 pow-sub pow-plus expm1-udef *.c-commutative
5×sqrt-unprod expm1-log1p hypot-def distribute-rgt-out--
4×rem-exp-log sum-cubes exp-neg +.c-commutative associate--r+ complex-add-def sin-mult
3×log1p-udef unpow1/3 associate-+r- log1p-expm1 difference-of-sqr-1 cos-mult rem-cbrt-cube
2×associate-+l+.c expm1-def difference-cubes e-exp-1 pow-neg pow-div rem-square-sqrt associate-*l*.c cos-sum tan-sum sin-sum
1×sin-cos-mult diff-atan sub-div diff-cos distribute-frac-neg frac-2neg.c diff-sin distribute-neg-frac exp-to-pow log-rec

regimes3.5s (1.5%)

Accuracy

Total 26.2b remaining (11.5%)

Threshold costs 7.3b (3.2%)

5.2b81.9%quadm (p42, negative)
3.9b85.3%quad2m (problem 3.2.1, negative)
3.1b0%expq3 (problem 3.4.2)
1.9b86.3%2nthrt (problem 3.4.6)
1.5b84.6%2cos (problem 3.3.5)

localize2.1s (0.9%)

bsearch1.7s (0.7%)

end1.0ms (0.0%)