Date:Wednesday, June 10th, 2020
Commit:646ba792 on ival-find-range
Hostname:warfa with Racket 7.5
Seed:2020162
Parameters:256 points for 4 iterations
Flags:
setup:simplifyrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifyreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:doubleprecision:fallback
default

Details

sample5.4min (81.1%)

Algorithm
78×intervals
Results
45.4s43272×body1280valid
15.0s30351×body640valid
11.8s1754×body5120exit
9.1s174504×body80valid
6.2s27008×body320valid
4.5s36150×body160valid
2.9s112722×pre80true
2.7s1039×body1280overflowed
2.1s21808×body80overflowed
1.2s882×body640overflowed
1.0s3060×body2560valid
702.0ms15805×body80invalid
638.0ms3187×body2560nan
423.0ms2612×body1280nan
350.0ms436×body320overflowed
342.0ms5912×body80nan
221.0ms471×body640invalid
219.0ms314×body1280invalid
168.0ms1308×body640nan
103.0ms236×body5120valid
98.0ms254×body320invalid
94.0ms212×body160overflowed
67.0ms671×body320nan
27.0ms345×body160nan
24.0ms108×body160invalid
2.0ms121×pre80false
sampling

Space saved by range analysis: 29.432013%

Space saved by search: 41.018842%

Guaranteed chance to sample good point: 73.657294%

prune29.6s (7.4%)

Filtered
16601 candidates to 10822 candidates (34.8%)

regimes15.8s (3.9%)

Accuracy

Total 28.2b remaining (26.2%)

Threshold costs 7.6b (7%)

10.9b49.3%Equirectangular approximation to distance on a great circle
6.1b14.4%Quotient of products
1.3b94.5%Cubic critical
1.2b95%Quadratic roots, full range
1.0b0%2-ancestry mixing, zero discriminant

simplify13.5s (3.4%)

Algorithm
218×egg-herbie

series8.7s (2.2%)

Calls

485 calls:

180.0ms
(cbrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0)))) (* (- phi1 phi2) (- phi1 phi2))))
176.0ms
(cbrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0)))) (* (- phi1 phi2) (- phi1 phi2))))
175.0ms
(/ (* (pow (/ 1.0 (+ 1.0 (exp (neg s)))) c_p) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (neg s))))) c_n)) (* (pow (/ 1.0 (+ 1.0 (exp (neg t)))) c_p) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (neg t))))) c_n)))
170.0ms
(pow (exp 1/2) (log (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0)))) (* (- phi1 phi2) (- phi1 phi2)))))
151.0ms
(sqrt (- (* b b) (* (* 4.0 a) c)))

rewrite5.3s (1.3%)

Algorithm
140×rewrite-expression-head
Calls

485 calls:

378.0ms
(* (/ (/ (cbrt a1) (/ (* (cbrt b2) (cbrt b2)) (cbrt a1))) b1) (/ (cbrt a1) (/ (cbrt b2) a2)))
71.0ms
(- (/ 0.125 (pow x 3)) (- (/ 0.5 x) (/ (neg 0.0625) (pow x 5))))
68.0ms
(log (- (/ 0.125 (pow x 3)) (- (/ 0.5 x) (/ (neg 0.0625) (pow x 5)))))
51.0ms
(* (+ (/ (sqrt 2.0) (sqrt (+ 1.0 (exp (* -2.0 x))))) (sqrt 1.0)) (- (/ (sqrt 2.0) (sqrt (+ 1.0 (exp (* -2.0 x))))) (sqrt 1.0)))
50.0ms
(* 1/6 (/ (pow x 3) (pow (sqrt 1.0) 3)))
Rules
7840×times-frac
7219×*-un-lft-identity
6232×add-sqr-sqrt
4077×add-cube-cbrt
2671×add-exp-log
1781×add-cbrt-cube
1231×associate-*r*
1189×sqrt-prod
1127×associate-*l/
1070×pow1
1049×flip--
1048×flip3--
916×cbrt-prod
882×prod-exp
804×distribute-lft-out add-log-exp
790×frac-times
785×div-exp
729×difference-of-squares
713×associate-/l*
679×associate-*l*
675×distribute-lft-out--
631×associate-*r/
568×unpow-prod-down
546×associate-/r*
491×frac-add
447×cbrt-unprod
433×cbrt-undiv
367×div-inv
308×pow-exp
300×flip-+
299×flip3-+
292×cube-prod
282×unswap-sqr
281×associate-/r/
272×sqrt-div
247×log-div
237×swap-sqr
224×pow-to-exp
213×pow-prod-down
209×frac-sub
197×cbrt-div distribute-rgt-neg-in
191×associate-/l/ sqr-pow
145×log-prod
134×sub-neg
111×clear-num *-commutative frac-2neg
108×diff-log
81×unpow2
78×pow1/3
77×exp-diff
72×pow-sub
61×sum-log
60×log-pow
56×distribute-rgt-in distribute-lft-in
53×exp-prod
48×cube-mult unpow3
44×sqrt-pow1
43×div-sub
41×+-commutative
39×pow-sqr pow-prod-up
38×pow1/2
35×neg-sub0
32×rem-sqrt-square tan-quot
30×1-exp
29×pow-unpow
27×rec-exp
26×pow-plus
25×associate-+r+ neg-log
24×distribute-lft-neg-in associate--l+
23×pow2
22×sin-mult
21×associate--l-
19×sin-sum sin-diff
18×rem-log-exp
17×exp-sum acos-asin
16×associate-+l-
15×pow-pow associate--r+
14×cube-div
12×cos-diff distribute-rgt-out sin-cos-mult
11×cos-sum associate--r-
10×associate-+r- distribute-frac-neg
9×associate-+l+
8×neg-mul-1 rem-cube-cbrt
7×cos-mult pow-flip rem-exp-log
6×unpow-prod-up
5×acos-neg
4×inv-pow
3×distribute-rgt-neg-out rem-cbrt-cube distribute-rgt-out--
2×difference-cubes distribute-lft1-in asin-acos
1×tanh-undef e-exp-1 exp-to-pow sqrt-unprod sub-div unsub-neg un-div-inv

localize2.2s (0.6%)

bsearch436.0ms (0.1%)

end1.0ms (0.0%)

Profiling

Loading profile data...