Date:Friday, June 19th, 2020
Commit:f6142ecc on ival-find-range
Hostname:warfa with Racket 7.5
Seed:2020171
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.8min (42.5%)

Algorithm
78×intervals
Results
44.6s43475×body1280valid
15.2s30053×body640valid
8.7s1204×body5120exit
8.1s174264×body80valid
6.2s27073×body320valid
4.5s36093×body160valid
2.6s104531×pre80true
1.7s643×body1280overflowed
1.1s5606×body80overflowed
1.0s3110×body2560valid
1.0s564×body640overflowed
572.0ms3036×body2560nan
496.0ms9306×body80nan
398.0ms2583×body1280nan
345.0ms5313×body80invalid
284.0ms330×body320overflowed
231.0ms335×body1280invalid
197.0ms433×body640invalid
152.0ms1258×body640nan
88.0ms225×body5120valid
84.0ms239×body320invalid
63.0ms138×body160overflowed
57.0ms626×body320nan
28.0ms109×body160invalid
21.0ms325×body160nan
8.0ms2×body2560overflowed
2.0ms124×pre80false

analyze59.7s (24.0%)

Algorithm
78×search

prune34.7s (14.0%)

Filtered
17908 candidates to 11769 candidates (34.3%)

regimes14.9s (6.0%)

Accuracy

Total 24.5b remaining (21.4%)

Threshold costs 8.1b (7.1%)

4.7b82.7%Quadratic roots, full range
4.6b83.1%Cubic critical
3.5b75.1%Equirectangular approximation to distance on a great circle
2.4b72.4%Quotient of products
1.3b56.7%2-ancestry mixing, positive discriminant

simplify14.7s (5.9%)

Algorithm
223×egg-herbie

series9.1s (3.7%)

Calls

517 calls:

220.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)))
195.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)))
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))))
132.0ms
(sqrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0)))) (* (- phi1 phi2) (- phi1 phi2))))

rewrite5.9s (2.4%)

Algorithm
145×rewrite-expression-head
Calls

517 calls:

155.0ms
(/ (- (pow (/ x (+ x 1.0)) 3) (pow (/ (+ x 1.0) (- x 1.0)) 3)) (+ (* (/ (+ x 1.0) (- x 1.0)) (+ (/ (+ x 1.0) (- x 1.0)) (/ x (+ x 1.0)))) (* (/ x (+ x 1.0)) (/ x (+ x 1.0)))))
142.0ms
(* (/ (cbrt a1) (/ b1 (cbrt a1))) (/ (cbrt a1) (/ b2 a2)))
101.0ms
(- (pow (/ x (+ x 1.0)) 3) (pow (/ (+ x 1.0) (- x 1.0)) 3))
84.0ms
(- (- (/ (neg 1.0) (pow x 2)) (/ 3.0 x)) (/ 3.0 (pow x 3)))
83.0ms
(- (- (log (exp (/ (neg 1.0) (pow x 2)))) (/ 3.0 x)) (/ 3.0 (pow x 3)))
Rules
7388×times-frac
6891×*-un-lft-identity
6734×add-sqr-sqrt
3924×add-cube-cbrt
3166×add-exp-log
2066×flip--
2065×flip3--
2006×associate-*l/
1954×add-cbrt-cube
1826×frac-times
1469×cbrt-div
1195×associate-*r*
1157×sqrt-prod
1065×div-exp
1012×frac-add
1002×prod-exp
990×unpow-prod-down
978×sqrt-div
960×pow1
959×difference-of-squares
937×distribute-lft-out--
935×associate-*r/
861×add-log-exp
834×associate-/l*
826×cbrt-prod
712×cube-prod
694×associate-*l*
602×associate-/r*
544×cbrt-undiv
491×distribute-lft-out
464×cbrt-unprod
367×pow-exp
365×div-inv
326×distribute-rgt-neg-in
291×associate-/r/
272×pow-to-exp
271×unswap-sqr
260×sqr-pow
243×flip-+
242×flip3-+
189×log-prod
170×pow-prod-down
161×swap-sqr
143×sub-neg
134×log-pow
124×clear-num frac-2neg
113×diff-log
110×associate-/l/
109×exp-prod
107×*-commutative
102×distribute-lft-neg-in
75×pow1/3
71×unpow2
70×exp-sum
67×sum-log
62×cube-mult unpow3
60×distribute-rgt-in distribute-lft-in
55×1-exp
54×div-sub
47×rec-exp
46×log-div associate--l+
45×+-commutative
40×neg-sub0
34×neg-mul-1
33×pow-unpow
30×sqrt-pow1 pow1/2
29×frac-sub
28×rem-sqrt-square
27×associate-+r+
26×neg-log tan-quot
24×cube-div
22×cos-diff sin-mult
20×associate-+l-
19×associate--l- cos-sum sin-diff
17×rem-log-exp distribute-frac-neg pow-sqr pow-prod-up
16×associate-+r-
15×distribute-rgt-out
13×pow2 pow-plus
11×acos-asin sin-sum pow-pow
9×associate--r+ rem-cube-cbrt rem-exp-log
8×acos-neg associate-+l+
7×difference-cubes sin-cos-mult associate--r- sum-cubes
6×sqrt-undiv rem-cbrt-cube exp-diff
5×inv-pow pow-flip
4×exp-to-pow tanh-def
3×asin-acos un-div-inv distribute-rgt-neg-out
2×exp-neg distribute-lft1-in sqrt-unprod cos-mult
1×tanh-undef rem-square-sqrt unsub-neg log-rec distribute-rgt-out--

localize2.3s (0.9%)

bsearch1.4s (0.6%)

end2.0ms (0.0%)

Profiling

Loading profile data...