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:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:complexrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifyreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:doubleprecision:fallback
default

Details

simplify6.2m (42.1%)

sample5.6m (38.4%)

Algorithm
78×intervals
Results
3.7m31027×body10240exit
46.5s43759×body1280valid
16.1s30815×body640valid
9.8s203148×body80valid
6.8s153958×body80nan
6.4s27497×body320valid
4.3s35887×body160valid
4.0s169139×pre80true
1.1s3073×body2560valid
487.0ms7976×body160nan
358.0ms4095×pre10240exit
154.0ms8366×pre80false
92.0ms244×body5120valid
1.0ms1×body640nan
0.0ms1×body320nan

prune1.1m (7.3%)

series1.0m (7.0%)

Calls

468 calls:

6.1s
(/ (+ (pow (cos phi1) 3) (pow (* (cos phi2) (+ (* (sin lambda1) (sin lambda2)) (* (cos lambda1) (cos lambda2)))) 3)) (+ (* (cos phi1) (cos phi1)) (* (* (cos phi2) (+ (* (sin lambda1) (sin lambda2)) (* (cos lambda1) (cos lambda2)))) (- (* (cos phi2) (+ (* (sin lambda1) (sin lambda2)) (* (cos lambda1) (cos lambda2)))) (cos phi1)))))
1.8s
(+ (pow (cos phi1) 3) (pow (* (cos phi2) (+ (* (sin lambda1) (sin lambda2)) (* (cos lambda1) (cos lambda2)))) 3))
1.2s
(/ (/ (- (* (* 3.0 a) c)) (sqrt (+ (sqrt (- (* b b) (* (* 3.0 a) c))) b))) (* a (cbrt 3.0)))
1.2s
(- (pow (cos delta) 3) (pow (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))) 3))
877.0ms
(pow (+ (* (- lambda1 lambda2) (* (pow (cbrt (cos (/ (+ phi1 phi2) 2.0))) 3) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))))) (* (- phi1 phi2) (- phi1 phi2))) 1/3)

rewrite25.0s (2.8%)

Algorithm
142×rewrite-expression-head
Calls

468 calls:

748.0ms
(sqrt (+ (* (* (- lambda1 lambda2) (* (* (cbrt (cos (/ (+ phi1 phi2) 2.0))) (cbrt (cos (/ (+ phi1 phi2) 2.0)))) (cbrt (cos (/ (+ phi1 phi2) 2.0))))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0)))) (* (- phi1 phi2) (- phi1 phi2))))
629.0ms
(log (exp (- (/ (pow x0 3) (pow (- 1.0 x1) 6)) (pow x0 3))))
549.0ms
(* (- (/ (/ 1 v) (/ 1 (* m (- 1.0 m)))) 1.0) m)
424.0ms
(log (exp (- (/ x (+ x 1.0)) (/ (+ x 1.0) (- x 1.0)))))
415.0ms
(* (/ (* 4.0 (* a c)) 2.0) (/ (/ 1 (- (- b) (sqrt (/ (- (pow b 4) (* (* (* 4.0 a) c) (* (* 4.0 a) c))) (+ (* b b) (* (* 4.0 a) c)))))) a))
Rules
6662×times-frac
5760×add-sqr-sqrt
5576×*-un-lft-identity
3684×add-cube-cbrt
3293×add-exp-log
1949×add-cbrt-cube
1150×div-exp
1085×prod-exp
1080×pow1
886×difference-of-squares
846×associate-*r*
806×associate-/l*
774×flip--
773×flip3--
730×add-log-exp
676×unpow-prod-down
612×distribute-lft-out--
589×associate-*l/
548×associate-/r*
491×cbrt-undiv
489×cbrt-unprod
477×sqrt-prod
471×associate-*r/
430×associate-*l*
398×frac-times
392×pow-exp
384×div-inv
369×associate-/r/
362×frac-add
325×cube-prod
322×distribute-lft-out
283×sqr-pow
280×pow-to-exp
275×pow-prod-down
247×cbrt-prod
224×cbrt-div
206×sqrt-div
190×distribute-rgt-neg-in
155×unswap-sqr
148×flip-+
147×flip3-+
146×log-prod
124×log-pow
122×exp-prod
120×clear-num frac-2neg
115×1-exp
110×sub-neg
100×*-commutative
94×associate-/l/
87×diff-log
77×rec-exp
66×pow-unpow
54×swap-sqr
53×div-sub
52×sum-log
45×unpow3
41×cube-mult
40×log-div
39×associate--l+
38×distribute-rgt-in distribute-lft-in pow-pow
35×pow1/2 sqrt-pow1
34×+-commutative
31×rem-cube-cbrt unpow2
30×rem-sqrt-square
28×distribute-lft-neg-in
27×associate-+r+
26×tan-quot
24×pow1/3 neg-mul-1 cos-mult
21×pow-prod-up pow-sqr sin-mult
20×frac-sub
19×cos-diff
18×distribute-frac-neg
17×neg-sub0 rem-log-exp sin-diff
16×cube-div
15×associate--l-
14×distribute-rgt-out acos-asin associate-+l-
13×pow-flip pow-plus cos-sum
10×neg-log exp-sum pow2
9×associate-+l+ associate-+r- sin-cos-mult
8×inv-pow distribute-rgt-neg-out
6×acos-neg difference-cubes associate--r+
5×sum-cubes sin-sum
4×exp-diff sub0-neg distribute-rgt-out--
3×sin-neg un-div-inv rem-exp-log associate--r- rem-cbrt-cube
2×distribute-lft1-in asin-acos exp-to-pow
1×unpow1/3 sqrt-unprod distribute-lft-neg-out unsub-neg tanh-undef tanh-def

regimes13.6s (1.5%)

Accuracy

Total 30.0b remaining (23.2%)

Threshold costs 5.6b (4.4%)

6.2b13.8%Cubic critical, medium range
5.3b53.5%Quotient of products
3.9b71.7%Equirectangular approximation to distance on a great circle
3.5b0%Cubic critical, wide range
3.2b87.8%Quadratic roots, full range

bsearch4.1s (0.5%)

localize3.3s (0.4%)

end1.0ms (0.0%)