Date:Friday, June 5th, 2020
Commit:08f7e9a2 on ival-find-range
Hostname:warfa with Racket 7.5
Seed:2020157
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

sample3.6m (75.1%)

Algorithm
77×intervals
Results
41.4s43166×body1280valid
14.2s30551×body640valid
9.1s203081×body80valid
6.1s27808×body320valid
4.5s36211×body160valid
3.5s75929×body80nan
3.1s477×body5120exit
2.9s108964×pre80true
1.2s6300×body2560nan
908.0ms2761×body2560valid
898.0ms15989×body80overflowed
855.0ms5326×body1280nan
531.0ms217×body1280overflowed
334.0ms2635×body640nan
252.0ms186×body640overflowed
137.0ms1376×body320nan
58.0ms154×body5120valid
54.0ms67×body320overflowed
41.0ms615×body160nan
23.0ms52×body160overflowed
1.0ms61×pre80false

prune28.6s (9.9%)

Filtered
10589 candidates to 16389 candidates (-54.8%)

simplify13.2s (4.6%)

Algorithm
218×egg-herbie

regimes12.9s (4.5%)

Accuracy

Total 24.5b remaining (21.1%)

Threshold costs 8.4b (7.2%)

5.4b51.2%Quotient of products
3.7b72%Equirectangular approximation to distance on a great circle
3.1b88.4%Cubic critical
2.9b89.3%Quadratic roots, full range
1.0b0%2-ancestry mixing, zero discriminant

series8.2s (2.9%)

Calls

498 calls:

143.0ms
(sqrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0)))) (* (- phi1 phi2) (- phi1 phi2))))
139.0ms
(sqrt (+ (* (* (- lambda1 lambda2) (- lambda1 lambda2)) (* (cos (/ (+ phi1 phi2) 2.0)) (cos (/ (+ phi1 phi2) 2.0)))) (* (- phi1 phi2) (- phi1 phi2))))
138.0ms
(sqrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (- lambda1 lambda2) (* (* (cbrt (cos (/ (+ phi1 phi2) 2.0))) (cbrt (cos (/ (+ phi1 phi2) 2.0)))) (cbrt (cos (/ (+ phi1 phi2) 2.0)))))) (* (- phi1 phi2) (- phi1 phi2))))
136.0ms
(sqrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0)))) (* (- phi1 phi2) (- phi1 phi2))))
135.0ms
(sqrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0)))) (* (- phi1 phi2) (- phi1 phi2))))

rewrite6.0s (2.1%)

Algorithm
142×rewrite-expression-head
Calls

498 calls:

162.0ms
(log (* (sqrt (- (/ 0.125 (pow x 3)) (- (/ 0.5 x) (/ (neg 0.0625) (pow x 5))))) (sqrt (- (/ 0.125 (pow x 3)) (- (/ 0.5 x) (/ (neg 0.0625) (pow x 5)))))))
92.0ms
(* (sqrt (- (/ x (+ x 1.0)) (/ (+ x 1.0) (- x 1.0)))) (sqrt (- (/ x (+ x 1.0)) (cbrt (pow (/ (+ x 1.0) (- x 1.0)) 3)))))
74.0ms
(- (/ 0.125 (pow x 3)) (- (/ 0.5 x) (/ (neg 0.0625) (pow x 5))))
72.0ms
(- (/ 0.125 (pow x 3)) (- (/ 0.5 x) (/ (neg 0.0625) (pow x 5))))
70.0ms
(- (/ 0.125 (pow x 3)) (- (/ 0.5 x) (/ (neg 0.0625) (pow x 5))))
Rules
6905×*-un-lft-identity
6453×times-frac
6145×add-sqr-sqrt
3692×add-cube-cbrt
2276×add-exp-log
2030×sqrt-prod
1856×add-cbrt-cube
1287×associate-*r*
1157×pow1
1045×distribute-lft-out--
1025×flip--
1024×flip3--
935×difference-of-squares
911×associate-*l/
831×associate-*l*
812×add-log-exp
707×associate-/l*
694×frac-times
647×sqrt-div
639×div-exp
586×prod-exp
541×associate-/r*
537×distribute-lft-out
514×unpow-prod-down
478×frac-add
453×cbrt-undiv
433×cbrt-unprod
375×associate-*r/
372×cube-prod
298×div-inv
288×distribute-rgt-neg-in
271×associate-/r/
211×pow-prod-down
207×unswap-sqr
206×log-prod
199×cbrt-prod
180×flip-+
179×flip3-+
175×sqr-pow
140×log-pow
125×sub-neg
121×clear-num swap-sqr frac-2neg
108×associate-/l/
106×diff-log *-commutative
101×frac-sub
97×cos-mult
92×log-div
82×exp-prod
78×distribute-lft-neg-in
75×cbrt-div
67×sum-log
64×pow-prod-up
57×sqrt-pow1 pow1/2
50×associate-+r+
49×cube-mult unpow3
48×1-exp
47×div-sub
46×rec-exp pow-sqr
45×pow1/3
41×+-commutative
37×rem-sqrt-square
36×tan-quot
34×pow-exp pow-plus
33×neg-sub0
32×rem-log-exp
31×distribute-rgt-in pow-to-exp distribute-lft-in
30×sin-cos-mult
29×associate--l+
28×pow2
26×neg-mul-1 unpow2
23×distribute-rgt-out
21×pow-unpow cos-sum associate-+l-
19×cos-diff sin-diff
18×neg-log
15×exp-sum associate-+l+ pow-pow associate--r+
14×cube-div
13×associate--r-
12×associate--l-
10×acos-asin associate-+r- sin-mult exp-diff
9×sum-cubes rem-cube-cbrt
8×distribute-frac-neg pow-flip
7×sin-sum rem-exp-log
6×inv-pow distribute-rgt-out--
4×distribute-lft1-in
3×acos-neg log-rec asin-acos un-div-inv
2×difference-cubes sqrt-unprod unsub-neg distribute-rgt-neg-out rem-cbrt-cube
1×tanh-undef sqr-cos rem-square-sqrt exp-to-pow sub-div

localize2.2s (0.8%)

bsearch449.0ms (0.2%)

end1.0ms (0.0%)

Profiling

Loading profile data...