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 (46.3%)

Algorithm
78×intervals
Results
45.3s43431×body1280valid
14.8s30255×body640valid
14.6s2094×body5120exit
8.4s174665×body80valid
6.3s27292×body320valid
4.5s35857×body160valid
3.0s1188×body1280overflowed
2.8s111931×pre80true
1.9s10017×body80overflowed
1.5s1066×body640overflowed
1.0s3096×body2560valid
628.0ms3094×body2560nan
517.0ms9501×body80nan
438.0ms548×body320overflowed
422.0ms2613×body1280nan
356.0ms5332×body80invalid
243.0ms330×body1280invalid
213.0ms439×body640invalid
175.0ms1356×body640nan
115.0ms259×body160overflowed
111.0ms233×body5120valid
75.0ms227×body320invalid
60.0ms608×body320nan
25.0ms110×body160invalid
19.0ms292×body160nan
2.0ms124×pre80false

analyze1.0min (24.4%)

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

prune27.7s (11.1%)

Filtered
15186 candidates to 10172 candidates (33.0%)

regimes11.7s (4.7%)

Accuracy

Total 26.8b remaining (21.8%)

Threshold costs 8.3b (6.8%)

7.0b57%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.1s (4.1%)

Algorithm
221×egg-herbie

series8.5s (3.4%)

Calls

492 calls:

207.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)))
198.0ms
(* (cos phi1) (sin phi2))
183.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)))
139.0ms
(sqrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (* (cbrt (- lambda1 lambda2)) (cbrt (- lambda1 lambda2))) (* (cos (/ (+ phi1 phi2) 2.0)) (cbrt (- lambda1 lambda2))))) (* (- phi1 phi2) (- phi1 phi2))))
137.0ms
(sqrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0)))) (* (- phi1 phi2) (- phi1 phi2))))

bsearch8.0s (3.2%)

rewrite4.7s (1.9%)

Algorithm
143×rewrite-expression-head
Calls

492 calls:

210.0ms
(- (/ x (+ x 1.0)) (/ (sqrt (+ x 1.0)) (/ (- x 1.0) (sqrt (+ x 1.0)))))
64.0ms
(sqrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (* (cbrt (- lambda1 lambda2)) (cbrt (- lambda1 lambda2))) (* (cos (/ (+ phi1 phi2) 2.0)) (cbrt (- lambda1 lambda2))))) (* (- phi1 phi2) (- phi1 phi2))))
62.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)))))
44.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)))))))
39.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)))
Rules
5196×*-un-lft-identity
4945×add-sqr-sqrt
4204×times-frac
2817×add-cube-cbrt
2621×add-exp-log
1916×flip--
1915×flip3--
1754×frac-times
1654×add-cbrt-cube
1326×cbrt-div
1252×associate-*l/
1246×associate-*r/
966×pow1
956×sqrt-div
934×sqrt-prod
908×difference-of-squares
903×prod-exp
852×frac-add
807×add-log-exp
721×div-exp
702×associate-*r*
600×distribute-lft-out--
587×distribute-lft-out
583×associate-/r*
484×associate-/l*
463×associate-*l*
458×unpow-prod-down
443×cbrt-unprod
355×cbrt-undiv
353×pow-exp
273×log-prod
264×cbrt-prod
259×associate-/r/
258×pow-to-exp
256×cube-prod
223×div-inv
201×sqr-pow
199×exp-prod
195×pow-prod-down
168×log-pow
158×flip-+
157×flip3-+
155×unswap-sqr
149×distribute-rgt-neg-in
120×sub-neg
112×*-commutative
108×clear-num frac-2neg
94×diff-log
81×cos-mult
77×associate-/l/
72×pow-unpow
68×sum-log
61×unpow2
50×div-sub
49×sqrt-pow1
47×pow1/2
46×log-div
42×pow-pow
39×+-commutative rem-sqrt-square
37×neg-sub0 pow1/3
35×1-exp rec-exp
33×rem-log-exp
28×distribute-rgt-in distribute-lft-in neg-log
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.1s (0.9%)

end2.0ms (0.0%)

Profiling

Loading profile data...