Date:Friday, December 13th, 2019
Commit:92b838e9 on show-bad-nightlies
Hostname:warfa with Racket 7.5
Seed:2019347
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

simplify5.3m (63.0%)

prune57.6s (11.4%)

sample48.2s (9.5%)

Algorithm
73×intervals
Results
14.6s294115×body80valid
6.4s13693×body1280valid
2.9s3869×body2560valid
2.9s16807×body160valid
2.6s9467×body640valid
1.9s100633×pre80true
1.6s2200×body10240exit
1.1s6936×body320valid
853.0ms19603×body80nan
144.0ms242×body5120valid
6.0ms100×pre80false

series46.4s (9.2%)

Calls

299 calls:

2.2s
(+ (pow y 6.0) (fma (pow y 4.0) 121.0 2.0))
1.3s
(+ (* (fma (/ (* (cbrt (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1)) (cbrt (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1))) (* (cbrt (+ (* x1 x1) 1.0)) (cbrt (+ (* x1 x1) 1.0)))) (/ (cbrt (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1)) (cbrt (+ (* x1 x1) 1.0))) (- (* 3.0 1))) (* (* 2.0 x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))) (fma (* (+ (- 3.0) 3.0) (* 2.0 x1)) (/ (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1) (fma x1 x1 1.0)) (* (* x1 x1) (- (* 4.0 (/ (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1) (fma x1 x1 1.0))) 6.0))))
1.2s
(+ (* (fma (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (pow (* x1 x1) 3) (pow 1.0 3))) (+ (* (* x1 x1) (* x1 x1)) (- (* 1.0 1.0) (* (* x1 x1) 1.0))) (- (* (sqrt 3.0) (sqrt 3.0)))) (* (* 2.0 x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))) (fma (* (+ (- 3.0) 3.0) (* 2.0 x1)) (/ (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1) (fma x1 x1 1.0)) (* (* x1 x1) (- (* 4.0 (/ (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1) (fma x1 x1 1.0))) 6.0))))
1.1s
(+ (* (fma (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (pow (* x1 x1) 3) (pow 1.0 3))) (+ (* (* x1 x1) (* x1 x1)) (- (* 1.0 1.0) (* (* x1 x1) 1.0))) (- (* (sqrt 3.0) (sqrt 3.0)))) (* (* 2.0 x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))) (fma (* (+ (- 3.0) 3.0) (* 2.0 x1)) (/ (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1) (fma x1 x1 1.0)) (* (* (* x1 x1) (* (cbrt (- (* 4.0 (/ (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1) (fma x1 x1 1.0))) 6.0)) (cbrt (- (* 4.0 (/ (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1) (fma x1 x1 1.0))) 6.0)))) (cbrt (- (* 4.0 (/ (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1) (fma x1 x1 1.0))) 6.0)))))
721.0ms
(expm1 (log1p (* (pow y 6.0) 333.75)))

rewrite27.0s (5.3%)

Algorithm
104×rewrite-expression-head
Calls

299 calls:

1.9s
(+ (+ (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (+ (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (- (pow 33096.0 6.0))) (* -121.0 (pow 33096.0 4.0))) -2.0))) (* 5.5 (pow 33096.0 8.0))) (/ 77617.0 (* 2.0 33096.0)))
1.7s
(+ (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (+ (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (- (pow 33096.0 6.0))) (* -121.0 (pow 33096.0 4.0))) -2.0))) (* 5.5 (pow 33096.0 8.0)))
1.2s
(+ (* (* (* 2.0 x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)) (* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0)))
1.0s
(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)
727.0ms
(+ (+ (+ (+ e d) c) b) a)
Rules
12910×times-frac
12070×*-un-lft-identity
10761×add-sqr-sqrt
9141×add-cube-cbrt
6820×prod-diff
1959×unpow-prod-down
1720×cube-prod
1366×add-exp-log
1209×add-cbrt-cube
1142×distribute-lft-out
1062×distribute-rgt-in distribute-lft-in
881×div-inv
751×associate-*r*
723×pow1
688×difference-of-squares
662×associate-+l+
598×add-log-exp
510×sqr-pow
491×associate-*l*
418×associate-/l*
410×prod-exp
389×flip-+ flip3-+
376×cbrt-unprod
351×associate-*r/
340×distribute-lft-out--
327×associate-/r/
314×div-exp
300×log1p-expm1-u expm1-log1p-u
292×frac-times
286×cbrt-undiv
253×unpow3 cube-mult
242×associate-*l/
239×sqrt-prod
213×associate-/r*
212×fma-neg
188×flip3-- flip--
174×pow-prod-down
172×cbrt-prod
165×swap-sqr
135×unswap-sqr
130×sum-log
123×frac-add
111×fma-def
100×frac-sub
80×distribute-rgt-neg-in
78×sub-neg
77×distribute-lft-neg-in
75×associate-/l/
74×exp-neg *-commutative
60×neg-sub0
56×exp-diff
54×sqrt-pow1
53×clear-num frac-2neg
47×diff-log sqrt-div
40×cbrt-div
39×pow-prod-up
38×fma-udef
37×pow1/3
34×pow1/2
33×+-commutative
27×pow-sqr neg-mul-1
25×associate-+r+
24×pow-plus
21×pow-exp
20×exp-prod
19×pow-to-exp
18×pow-unpow difference-cubes un-div-inv pow2 div-sub
16×distribute-rgt-out
15×cube-div rem-sqrt-square
13×log-prod
9×pow-pow
8×distribute-lft-neg-out 1-exp hypot-udef rec-exp
7×distribute-frac-neg
6×log-pow
5×rem-exp-log unpow2
4×rem-cube-cbrt expm1-udef neg-log associate--l+
3×expm1-log1p unsub-neg exp-sum rem-log-exp
2×log1p-udef associate--l- sqrt-unprod log1p-expm1 rem-square-sqrt rem-cbrt-cube associate-+l- log-div
1×pow3 inv-pow pow-flip hypot-def sum-cubes associate-+r- exp-to-pow associate--r+

regimes4.7s (0.9%)

Accuracy

Total 43.4b remaining (17.8%)

Threshold costs 2.8b (1.1%)

14.7b45.7%Compound Interest
7.5b33%Complex division, real part
7.3b35.7%Complex division, imag part
4.5b84.5%The quadratic formula (r1)
4.5b83.5%The quadratic formula (r2)

localize1.9s (0.4%)

bsearch1.3s (0.3%)

end1.0ms (0.0%)