Date:Saturday, June 27th, 2020
Commit:6b86a4bc on ival-find-range
Hostname:warfa with Racket 7.5
Seed:2020179
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.9min (45.7%)

Algorithm
78×intervals
Results
44.4s43431×body1280valid
14.6s2094×body5120exit
14.3s30255×body640valid
8.2s174665×body80valid
6.0s27292×body320valid
4.1s35857×body160valid
3.0s1188×body1280overflowed
2.7s111931×pre80true
1.8s10017×body80overflowed
1.4s1066×body640overflowed
994.0ms3096×body2560valid
637.0ms3094×body2560nan
489.0ms9501×body80nan
436.0ms2613×body1280nan
432.0ms548×body320overflowed
351.0ms5332×body80invalid
220.0ms330×body1280invalid
197.0ms439×body640invalid
188.0ms1356×body640nan
113.0ms259×body160overflowed
110.0ms233×body5120valid
73.0ms227×body320invalid
62.0ms608×body320nan
28.0ms110×body160invalid
22.0ms292×body160nan
2.0ms124×pre80false

analyze58.9s (23.8%)

Algorithm
78×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

prune30.2s (12.2%)

Filtered
15263 candidates to 10214 candidates (33.1%)

regimes11.4s (4.6%)

Accuracy

Total 26.7b remaining (21.7%)

Threshold costs 8.3b (6.8%)

6.9b57.3%Equirectangular approximation to distance on a great circle
5.4b54.4%Quotient of products
4.6b84.1%Quadratic roots, full range
1.5b93.6%Cubic critical
1.0b81.5%2-ancestry mixing, positive discriminant

simplify10.2s (4.1%)

Algorithm
221×egg-herbie

series8.5s (3.4%)

Calls

495 calls:

205.0ms
(/ (* (pow (/ 1.0 (+ 1.0 (exp (neg s)))) c_p) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (neg s))))) c_n)) (* (+ 1 (* c_p (+ (log 0.5) (* t 0.5)))) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (neg t))))) c_n)))
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)))
143.0ms
(sqrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0)))) (* (- phi1 phi2) (- phi1 phi2))))
142.0ms
(sqrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (* (cbrt (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0)))) (cbrt (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))))) (cbrt (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0)))))) (* (- phi1 phi2) (- phi1 phi2))))
140.0ms
(sqrt (+ (* (- lambda1 lambda2) (* (- lambda1 lambda2) (* (cos (/ (+ phi1 phi2) 2.0)) (cos (/ (+ phi1 phi2) 2.0))))) (* (- phi1 phi2) (- phi1 phi2))))

bsearch8.1s (3.3%)

rewrite4.8s (1.9%)

Algorithm
143×rewrite-expression-head
Calls

495 calls:

192.0ms
(- (/ x (+ x 1.0)) (/ (sqrt (+ x 1.0)) (/ (- x 1.0) (sqrt (+ x 1.0)))))
65.0ms
(sqrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (* (cbrt (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0)))) (cbrt (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))))) (cbrt (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0)))))) (* (- phi1 phi2) (- phi1 phi2))))
57.0ms
(/ (- (/ 8.0 (pow (+ 1.0 (pow (exp -2.0) x)) 3)) 1.0) (+ 1.0 (+ (/ 2.0 (+ 1.0 (pow (exp -2.0) x))) (/ 4.0 (pow (+ 1.0 (pow (exp -2.0) x)) 2)))))
41.0ms
(/ (- (pow (/ 2.0 (+ 1.0 (pow (exp -2.0) x))) 3) (pow 1.0 3)) (+ (* 1.0 1.0) (* (/ 2.0 (+ 1.0 (pow (exp -2.0) x))) (+ 1.0 (/ 2.0 (+ 1.0 (pow (exp -2.0) x)))))))
37.0ms
(/ (sqrt (+ x 1.0)) (/ (- x 1.0) (sqrt (+ x 1.0))))
Rules
5193×*-un-lft-identity
4941×add-sqr-sqrt
4204×times-frac
2818×add-cube-cbrt
2628×associate-*l/
2622×add-exp-log
2010×flip--
2009×flip3--
1818×frac-times
1655×add-cbrt-cube
1324×cbrt-div
1022×sqrt-div
968×pow1
937×sqrt-prod
916×frac-add
906×difference-of-squares
902×prod-exp
844×associate-*r/
810×add-log-exp
721×div-exp
697×associate-*r*
598×distribute-lft-out--
587×distribute-lft-out
583×associate-/r*
484×associate-/l*
460×associate-*l*
458×unpow-prod-down
442×cbrt-unprod
355×cbrt-undiv
353×pow-exp
273×log-prod
259×cbrt-prod associate-/r/
258×pow-to-exp
256×cube-prod
223×div-inv
201×sqr-pow
199×exp-prod
194×pow-prod-down
168×log-pow
159×flip-+
158×flip3-+
154×unswap-sqr
149×distribute-rgt-neg-in
118×sub-neg
111×*-commutative
108×clear-num frac-2neg
94×diff-log
81×cos-mult
77×associate-/l/
72×pow-unpow
68×sum-log
61×unpow2
50×sqrt-pow1 div-sub
48×pow1/2
46×log-div
42×pow-pow
40×rem-sqrt-square
39×+-commutative
37×neg-sub0
36×pow1/3
35×1-exp rec-exp
33×rem-log-exp
28×neg-log
27×distribute-rgt-in distribute-lft-in
26×cube-mult unpow3
22×swap-sqr
19×cube-div cos-diff associate-+r-
18×associate--l-
17×sin-diff associate-+l-
16×pow-flip
15×frac-sub
14×associate-+r+
11×acos-asin inv-pow
10×sin-mult
9×rem-cube-cbrt
8×cos-sum associate--l+ tan-quot sum-cubes exp-diff
7×unsub-neg
6×pow-sqr un-div-inv pow-prod-up distribute-neg-frac
5×pow2 difference-cubes acos-neg pow-plus sin-cos-mult distribute-frac-neg rem-cbrt-cube rem-exp-log
4×exp-sum distribute-neg-in sin-sum tanh-def-b tanh-def-a distribute-rgt-out-- tanh-def-c
3×distribute-lft-neg-in distribute-rgt-out associate--r+
2×associate-+l+ distribute-rgt-neg-out
1×tanh-undef neg-mul-1 sqrt-unprod sub-div sqr-cos-a asin-acos

localize2.2s (0.9%)

end2.0ms (0.0%)

Profiling

Loading profile data...