Date:Tuesday, July 14th, 2020
Commit:0946c439 on ival-find-range
Hostname:warfa with Racket 7.5
Seed:2020196
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

sample1.7min (52.1%)

Algorithm
77×intervals
Results
43.7s43433×body1280valid
14.6s30155×body640valid
9.6s1380×body5120exit
7.9s173853×body80valid
5.3s23885×body320valid
3.5s31740×body160valid
2.6s106393×pre80true
1.8s698×body1280overflowed
1.5s6756×body80overflowed
1.0s3095×body2560valid
899.0ms649×body640overflowed
585.0ms3134×body2560nan
398.0ms8229×body80nan
378.0ms2544×body1280nan
339.0ms5277×body80invalid
288.0ms360×body320overflowed
216.0ms474×body640invalid
213.0ms310×body1280invalid
161.0ms1350×body640nan
90.0ms239×body5120valid
79.0ms247×body320invalid
78.0ms178×body160overflowed
58.0ms622×body320nan
26.0ms124×body160invalid
23.0ms320×body160nan
2.0ms127×pre80false

analyze30.6s (15.5%)

Algorithm
39×search
Search
TrueOtherFalseIter
0%71.2%28.8%0
2.6%68.7%28.8%1
6.7%64.5%28.8%2
15.3%53.4%31.4%3
21.5%44.1%34.4%4
26.5%37.3%36.2%5
28.4%33.3%38.3%6
30.1%30.3%39.5%7
31%28.8%40.3%8
33%25.9%41.1%9
33.4%24.9%41.6%10
34.2%23.8%42%11
35%22.5%42.5%12
36%21.3%42.7%13
36.3%20.8%43%14

prune24.1s (12.2%)

Filtered
13438 candidates to 8871 candidates (34.0%)

regimes13.7s (6.9%)

Accuracy

Total 37.5b remaining (33.6%)

Threshold costs 5.1b (4.6%)

7.3b46.5%Quadratic roots, narrow range
6.0b11.8%Quadratic roots, medium range
4.9b83%Cubic critical
4.5b70%Equirectangular approximation to distance on a great circle
3.9b85.7%Quadratic roots, full range

simplify12.2s (6.2%)

Algorithm
219×egg-herbie

series7.2s (3.7%)

Calls

470 calls:

179.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)))
145.0ms
(- (* (cos delta) (cos delta)) (* (sin (asin (+ (* (cos delta) (sin phi1)) (* (sin delta) (* (cos phi1) (cos theta)))))) (* (sin (asin (+ (* (cos delta) (sin phi1)) (* (sin delta) (* (cos phi1) (cos theta)))))) (pow (sin phi1) 2))))
140.0ms
(sqrt (+ (* (- lambda1 lambda2) (* (cos (/ (+ phi1 phi2) 2.0)) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))))) (* (- phi1 phi2) (- phi1 phi2))))
138.0ms
(sqrt (+ (* (- lambda1 lambda2) (* (cos (/ (+ phi1 phi2) 2.0)) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))))) (* (- phi1 phi2) (- phi1 phi2))))
138.0ms
(sqrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0)))) (* (- phi1 phi2) (- phi1 phi2))))

rewrite4.4s (2.2%)

Algorithm
142×rewrite-expression-head
Calls

470 calls:

149.0ms
(- (+ (/ (/ (neg 1.0) x) x) (/ (neg 3.0) x)) (/ 3.0 (pow x 3)))
131.0ms
(+ (/ (/ (neg 1.0) x) x) (/ (neg 3.0) x))
99.0ms
(- (pow (/ x (+ x 1.0)) 3) (pow (/ (+ x 1.0) (- x 1.0)) 3))
42.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)))
36.0ms
(- (/ 0.125 (pow x 3)) (+ (/ 0.5 x) (/ 0.0625 (pow x 5))))
Rules
3868×*-un-lft-identity
3654×add-sqr-sqrt
2880×times-frac
2459×add-exp-log
2365×add-cube-cbrt
1645×add-cbrt-cube
1051×pow1
932×flip--
931×flip3--
864×prod-exp
763×sqrt-prod
708×associate-*l/
703×add-log-exp
653×associate-*r/
648×div-exp
642×associate-*r*
634×associate-*l* frac-times
515×unpow-prod-down
487×sqrt-div
470×cbrt-unprod
453×log-prod
442×difference-of-squares
441×frac-add
381×distribute-lft-out--
366×associate-/r*
361×distribute-lft-out
352×associate-/l*
340×cube-prod
314×cbrt-prod
311×cbrt-undiv
306×pow-exp
234×pow-prod-down
219×pow-to-exp
215×cbrt-div
195×associate-/r/
182×flip-+ div-inv
181×flip3-+
152×unswap-sqr
113×sub-neg *-commutative sqr-pow
93×log-pow
87×clear-num frac-2neg
77×distribute-rgt-neg-in
72×diff-log
64×associate--l+
62×swap-sqr
60×pow-unpow
55×log-div
54×distribute-lft-neg-in associate-/l/
52×pow1/3 exp-prod
50×sum-log
47×distribute-rgt-in distribute-lft-in
46×sqrt-pow1 div-sub cube-mult
45×unpow3
44×pow1/2 1-exp
38×+-commutative
37×associate--r+
35×rem-sqrt-square
33×cosh-undef
30×rec-exp
29×rem-log-exp pow-pow
24×associate-+r+
21×cube-div
20×frac-sub tan-quot
19×pow-sqr pow-prod-up
18×neg-mul-1 distribute-frac-neg sin-diff
17×cos-diff associate--r-
14×exp-sum
13×pow-plus distribute-rgt-neg-out
12×sin-mult rem-cube-cbrt
11×pow2 neg-sub0
10×associate-+r-
9×acos-asin associate-+l+ sin-cos-mult
8×associate--l- sinh-undef associate-+l- pow-flip
7×cos-sum
6×un-div-inv unpow2
5×acos-neg sinh-def asin-acos rem-cbrt-cube rem-exp-log
4×inv-pow cos-mult
3×cosh-def distribute-rgt-out sin-sum neg-log exp-diff
2×difference-cubes sqrt-undiv unsub-neg
1×distribute-lft-neg-out tanh-undef sqrt-unprod tanh-def-b tanh-def-a sqr-cos-a distribute-neg-out tanh-def-c

localize2.1s (1.1%)

bsearch322.0ms (0.2%)

end1.0ms (0.0%)

Profiling

Loading profile data...