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

simplify6.7m (44.5%)

sample5.7m (38.0%)

Algorithm
78×intervals
Results
3.7m31027×body10240exit
49.5s43759×body1280valid
16.9s30815×body640valid
9.9s203148×body80valid
6.6s27497×body320valid
6.6s153958×body80nan
4.4s35887×body160valid
4.0s169139×pre80true
1.1s3073×body2560valid
497.0ms7976×body160nan
346.0ms4095×pre10240exit
129.0ms8366×pre80false
104.0ms244×body5120valid
1.0ms1×body320nan
1.0ms1×body640nan

prune1.1m (7.4%)

series50.6s (5.6%)

Calls

437 calls:

947.0ms
(- (pow (cos delta) 3) (expm1 (log1p (pow (* (sin phi1) (sin (asin (fma (sin delta) (* (cos phi1) (cos theta)) (* (sin phi1) (cos delta)))))) 3))))
771.0ms
(/ (* (pow (/ 1.0 (+ 1.0 (exp (- s)))) c_p) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (- s))))) c_n)) (* (fma (log 0.5) c_p (fma 0.5 (* t c_p) 1)) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (- t))))) c_n)))
765.0ms
(* (hypot (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (- phi1 phi2)) R)
743.0ms
(- (pow (cos delta) 3) (pow (* (sin phi1) (sin (asin (fma (sin delta) (* (cos phi1) (cos theta)) (* (sin phi1) (cos delta)))))) 3))
668.0ms
(* (hypot (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (- phi1 phi2)) R)

rewrite18.7s (2.1%)

Algorithm
143×rewrite-expression-head
Calls

437 calls:

430.0ms
(* (/ x (+ x 1.0)) (- (/ x (+ x 1.0)) (/ 1.0 (- x 1.0))))
392.0ms
(- (log (exp (/ 2.0 (+ 1.0 (exp (* -2.0 x)))))) 1.0)
362.0ms
(* (- (/ 1 (/ v (* m (- 1.0 m)))) 1.0) m)
328.0ms
(* (/ (+ x 1.0) (- (pow x 3) (pow 1.0 3))) (+ (* x x) (+ (* 1.0 1.0) (* x 1.0))))
303.0ms
(+ (+ (/ 1.0 (* x x)) (/ 3.0 x)) (/ 3.0 (pow x 3)))
Rules
9291×*-un-lft-identity
8263×times-frac
8136×add-sqr-sqrt
6152×add-cube-cbrt
4259×prod-diff
2778×add-exp-log
1703×add-cbrt-cube
1057×pow1
1007×difference-of-squares
955×prod-exp
887×div-exp
881×sqrt-prod
820×distribute-lft-out
747×unpow-prod-down
713×distribute-lft-out--
649×associate-/l*
633×add-log-exp
596×associate-/r/
573×div-inv
561×distribute-rgt-in distribute-lft-in
489×cube-prod
469×associate-/r*
452×cbrt-unprod
439×log1p-expm1-u
438×expm1-log1p-u
404×associate-*l*
384×cbrt-undiv
378×fma-neg
375×associate-*r*
362×pow-exp
305×cbrt-prod
293×sqr-pow
292×pow-prod-down
288×flip--
287×flip3--
264×pow-to-exp
217×distribute-rgt-neg-in
213×flip-+
212×flip3-+
185×log-pow
154×exp-prod
142×log-prod
138×distribute-lft-neg-in
116×clear-num frac-2neg
110×unpow3 cube-mult
103×fma-def
102×associate-*r/
98×unswap-sqr
97×sub-neg
95×associate-+l+
88×associate-/l/
79×*-commutative 1-exp
73×diff-log
66×pow-unpow
60×sqrt-div cos-sum
56×associate--l+
54×associate-+r+
50×rec-exp
49×div-sub
46×neg-mul-1
45×associate-*l/
38×sqrt-pow1
37×frac-times
35×fma-udef
32×pow1/2
30×sum-log pow-pow log-div
27×rem-sqrt-square
22×cbrt-div sin-sum
21×unpow2
19×pow-prod-up pow-sqr sin-mult rem-log-exp
18×frac-add +-commutative sin-diff
16×pow1/3 frac-sub
14×rem-cube-cbrt
12×pow-flip associate--r+
11×sin-cos-mult cos-diff cos-mult
10×difference-cubes associate--l- exp-sum
9×neg-sub0 acos-asin
8×inv-pow
7×pow-plus tan-quot
6×cube-div neg-log distribute-rgt-neg-out associate-+l-
5×acos-neg distribute-frac-neg swap-sqr expm1-udef
4×distribute-lft-neg-out
3×rem-exp-log sin-neg log1p-udef pow2 log1p-expm1 expm1-log1p distribute-rgt-out asin-acos associate--r-
2×un-div-inv hypot-udef sum-cubes exp-to-pow rem-cbrt-cube
1×exp-diff associate-+r- sqrt-unprod unsub-neg hypot-def tanh-undef tanh-def

regimes14.2s (1.6%)

Accuracy

Total 43.1b remaining (31.9%)

Threshold costs 5.0b (3.7%)

7.2b47.4%Cubic critical, narrow range
7.2b47.7%Quadratic roots, narrow range
5.3b53.5%Quotient of products
4.7b83.8%Cubic critical
3.5b0%Quadratic roots, wide range

bsearch3.9s (0.4%)

localize3.4s (0.4%)

end1.0ms (0.0%)