Date:Tuesday, February 25th, 2020
Commit:61e80a61 on faster-rr
Hostname:warfa with Racket 7.5
Seed:2020056
Parameters:256 points for 4 iterations
Flags:
setup:simplifyrules:numericsrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:complexrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifyreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:doubleprecision:fallback
+o rules:numerics

Details

prune59.9s (36.5%)

series49.5s (30.1%)

Calls

302 calls:

14.3s
(/ (/ (* (/ (+ (pow (+ 1.0 (/ i n)) (* 2 (* 2 n))) (- (* (- (* 1.0 1.0)) (- (* 1.0 1.0))))) (+ (pow (+ 1.0 (/ i n)) (* 2 n)) (* 1.0 1.0))) 100.0) (+ (pow (+ 1.0 (/ i n)) n) 1.0)) (/ i n))
3.5s
(fma (sqrt (+ (+ e d) (+ c b))) (sqrt (+ (+ e d) (+ c b))) a)
2.1s
(/ (/ (* (+ (pow (+ 1.0 (/ i n)) (* 2 n)) (- (* 1.0 1.0))) 100.0) (+ (pow (+ 1.0 (/ i n)) n) 1.0)) (/ i n))
1.2s
(+ (pow y 6.0) (fma (pow y 4.0) 121.0 2.0))
478.0ms
(fma x (* (- (* (* (* (* 11.0 x) x) y) y) (+ (pow y 6.0) (fma (pow y 4.0) 121.0 2.0))) x) (+ (* 333.75 (pow y 6.0)) (fma (pow y 8.0) 5.5 (/ x (* 2.0 y)))))

sample30.9s (18.8%)

Algorithm
73×intervals
Results
9.3s294394×body80valid
4.8s13832×body1280valid
2.4s3854×body2560valid
1.8s9384×body640valid
1.7s16832×body160valid
1.4s100633×pre80true
1.0s2161×body10240exit
715.0ms6797×body320valid
522.0ms19275×body80nan
87.0ms221×body5120valid
3.0ms100×pre80false

simplify13.2s (8.0%)

Algorithm
176×egg-herbie

rewrite4.9s (3.0%)

Algorithm
106×rewrite-expression-head
Calls

302 calls:

221.0ms
(- (/ x (/ (fma x x (* y y)) (+ x y))) (/ y (/ (fma x x (* y y)) (+ x y))))
102.0ms
(- 2.0 (pow (/ (cbrt (/ 2.0 t)) (cbrt (+ 1.0 (/ 1.0 t)))) 3))
101.0ms
(- 2.0 (pow (/ (cbrt (/ 2.0 t)) (cbrt (+ 1.0 (/ 1.0 t)))) 3))
65.0ms
(* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
52.0ms
(/ (* (* (/ (/ PI 2.0) (+ b a)) 1.0) (- (/ 1.0 a) (/ 1.0 b))) (- b a))
Rules
24329×times-frac
19476×*-un-lft-identity
15399×add-sqr-sqrt
14222×add-cube-cbrt
9167×prod-diff
2508×add-exp-log
2371×distribute-lft-out
2102×add-cbrt-cube
2100×cbrt-prod
1357×div-inv
1301×associate-/r/
1102×unpow-prod-down
961×sqrt-prod
934×prod-exp
784×cube-prod
770×div-exp
753×cbrt-unprod
749×distribute-rgt-in distribute-lft-in
732×pow1
694×associate-*r*
680×flip-+ flip3-+
621×cbrt-undiv
599×add-log-exp
500×associate-/l*
401×difference-of-squares
398×associate-*l*
378×associate-/r*
302×log1p-expm1-u expm1-log1p-u
294×distribute-lft-out--
272×fma-neg
172×cbrt-div
167×sqr-pow
153×distribute-rgt-neg-in
133×swap-sqr
131×flip3-- flip--
127×frac-times
123×distribute-lft-neg-in unswap-sqr
122×pow-prod-down
121×sum-log associate-*r/
111×fma-def
100×log-pow
93×1-exp
92×associate-*l/
78×associate-/l/
72×clear-num sub-neg frac-2neg
61×*-commutative
57×exp-prod
56×diff-log
53×pow-prod-up
51×rec-exp
47×log-prod
43×sqrt-div
41×neg-mul-1
39×pow-sqr
37×fma-udef
35×pow-exp
33×pow-plus pow-to-exp
32×unpow3 cube-mult
31×unpow2
30×pow1/3
28×pow2
26×+-commutative div-sub
21×pow-unpow
20×frac-add
19×rem-sqrt-square
18×frac-sub
16×pow1/2 sqrt-pow1 log-div
15×associate--r+
13×pow-pow
11×associate-+l+ pow-flip neg-sub0
10×associate-+r+ associate--l+
8×inv-pow neg-log rem-log-exp
7×associate--l- hypot-udef
6×distribute-lft-neg-out
5×un-div-inv distribute-frac-neg
4×cube-div associate-+l-
3×distribute-rgt-out-- rem-cbrt-cube
2×sqrt-pow2 associate-+r- unsub-neg associate--r- sum-cubes
1×sub-div expm1-log1p hypot-def exp-sum expm1-udef

regimes3.4s (2.1%)

Accuracy

Total 43.6b remaining (14.1%)

Threshold costs 4.0b (1.3%)

12.9b46.7%Compound Interest
9.0b31.9%Complex division, imag part
7.4b33.4%Complex division, real part
4.7b83.6%The quadratic formula (r2)
4.1b85.4%The quadratic formula (r1)

localize1.3s (0.8%)

bsearch1.2s (0.7%)

end1.0ms (0.0%)