Date:Friday, June 12th, 2020
Commit:9c248b13 on ival-find-range
Hostname:warfa with Racket 7.5
Seed:2020164
Parameters:256 points for 4 iterations
Flags:
setup:simplifysetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifyreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:doubleprecision:fallback
default

Details

sample6.7min (83.4%)

Algorithm
78×intervals
Results
1.5min13140×body5120exit
45.0s43580×body1280valid
18.6s7206×body1280overflowed
14.9s30033×body640valid
9.0s179463×body80valid
8.7s6260×body640overflowed
6.2s27528×body320valid
4.4s36358×body160valid
3.7s145312×pre80true
2.8s13593×body80overflowed
2.6s3175×body320overflowed
1.1s3092×body2560valid
702.0ms1543×body160overflowed
586.0ms3028×body2560nan
388.0ms2489×body1280nan
313.0ms4661×body80invalid
294.0ms5300×body80nan
224.0ms249×body5120valid
216.0ms468×body640invalid
210.0ms302×body1280invalid
163.0ms1263×body640nan
68.0ms217×body320invalid
57.0ms601×body320nan
23.0ms342×body160nan
22.0ms104×body160invalid
1.0ms66×pre80false
sampling

Space saved by range analysis: 29.432013%

Space saved by search: 44.383765%

Guaranteed chance to sample good point: 76.015198%

prune30.3s (6.2%)

Filtered
17915 candidates to 10870 candidates (39.3%)

regimes16.1s (3.3%)

Accuracy

Total 27.4b remaining (22%)

Threshold costs 6.2b (5%)

8.5b53.4%Equirectangular approximation to distance on a great circle
6.5b43.6%Quotient of products
3.6b86.7%Cubic critical
1.5b93.7%Quadratic roots, full range
1.1b0%2-ancestry mixing, zero discriminant

simplify14.0s (2.9%)

Algorithm
225×egg-herbie

series11.5s (2.4%)

Calls

508 calls:

1.2s
(pow (exp (* (cbrt (log (sqrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0)))) (* (- phi1 phi2) (- phi1 phi2)))))) (cbrt (log (sqrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0)))) (* (- phi1 phi2) (- phi1 phi2)))))))) (cbrt (log (sqrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0)))) (* (- phi1 phi2) (- phi1 phi2)))))))
390.0ms
(pow (pow (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))) 3) 3)
200.0ms
(cbrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0)))) (* (- phi1 phi2) (- phi1 phi2))))
198.0ms
(/ (* (pow (/ 1.0 (+ 1.0 (exp (neg s)))) c_p) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (neg s))))) c_n)) (* (+ (* c_p (+ (log 0.5) (* 0.5 t))) 1) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (neg t))))) c_n)))
196.0ms
(cbrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0)))) (* (- phi1 phi2) (- phi1 phi2))))

rewrite5.8s (1.2%)

Algorithm
147×rewrite-expression-head
Calls

508 calls:

200.0ms
(- (/ (/ x (sqrt (+ x 1.0))) (sqrt (+ x 1.0))) (/ (+ x 1.0) (- x 1.0)))
117.0ms
(* (+ (sqrt (/ x0 (- 1.0 x1))) (sqrt x0)) (/ (- (pow (sqrt (/ x0 (- 1.0 x1))) 3) (pow (sqrt x0) 3)) (+ (+ (/ x0 (- 1.0 x1)) x0) (* (sqrt (/ x0 (- 1.0 x1))) (sqrt x0)))))
114.0ms
(* (+ (sqrt (/ x0 (- 1.0 x1))) (sqrt x0)) (/ (- (pow (sqrt (/ x0 (- 1.0 x1))) 3) (pow (sqrt x0) 3)) (+ (+ (/ x0 (- 1.0 x1)) x0) (* (sqrt (/ x0 (- 1.0 x1))) (sqrt x0)))))
83.0ms
(- (- (/ (neg 1.0) (pow x 2)) (/ 3.0 x)) (/ 3.0 (pow x 3)))
69.0ms
(- (/ 0.125 (pow x 3)) (- (/ 0.5 x) (/ (neg 0.0625) (pow x 5))))
Rules
7781×times-frac
7110×add-sqr-sqrt
6775×*-un-lft-identity
4325×add-cube-cbrt
3779×add-exp-log
1983×add-cbrt-cube
1844×sqrt-prod
1559×associate-*r*
1378×prod-exp
1298×div-exp
1184×unpow-prod-down
1150×difference-of-squares
1123×associate-*l/
1050×flip--
1049×flip3--
996×pow1
824×associate-/l*
795×cube-prod
793×distribute-lft-out--
791×add-log-exp
647×pow-exp
645×associate-/r*
624×frac-times
527×frac-add
504×sqrt-div
487×cbrt-prod
485×cbrt-undiv
483×cbrt-unprod
479×associate-*l*
464×pow-to-exp
415×distribute-lft-out
376×associate-*r/
343×div-inv
321×sqr-pow
289×distribute-rgt-neg-in
288×associate-/r/
202×log-prod
200×cbrt-div
199×flip-+
198×flip3-+
195×unswap-sqr
190×pow-prod-down
128×log-pow
127×clear-num frac-2neg
122×associate-/l/
116×sub-neg
115×log-div
114×exp-prod
106×*-commutative
98×diff-log
97×cube-mult unpow3
75×exp-diff
70×1-exp
69×pow-unpow
63×rec-exp
56×pow1/3
54×distribute-lft-neg-in
51×sum-log
50×sqrt-pow1
49×div-sub
44×pow1/2
43×distribute-rgt-in distribute-lft-in unpow2
40×exp-sum
35×rem-sqrt-square
33×swap-sqr
32×neg-sub0
31×+-commutative
30×frac-sub
28×tan-quot
27×cube-div
26×associate--l+ pow-pow
23×associate--l-
22×rem-log-exp
21×cos-diff
20×neg-log
18×neg-mul-1 sin-diff
16×associate-+l- associate--r+
14×rem-cube-cbrt
13×cos-sum associate-+r+ cos-mult
12×distribute-rgt-out sin-mult
11×distribute-frac-neg pow-sqr pow-prod-up pow-flip
10×acos-asin sin-cos-mult rem-cbrt-cube
9×pow2 pow-plus sin-sum
8×difference-cubes associate-+r- inv-pow
7×exp-to-pow associate--r-
6×rem-exp-log
5×acos-neg asin-acos
4×un-div-inv distribute-rgt-neg-out
3×associate-+l+ distribute-rgt-out--
2×distribute-lft1-in
1×tanh-undef sqrt-pow2 sqrt-unprod sub-div tanh-def

localize2.4s (0.5%)

bsearch518.0ms (0.1%)

end1.0ms (0.0%)

Profiling

Loading profile data...