Date:Tuesday, June 9th, 2020
Commit:c3d6c186 on ival-find-range
Hostname:warfa with Racket 7.5
Seed:2020161
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

sample4.2min (76.9%)

Algorithm
78×intervals
Results
40.8s43398×body1280valid
13.8s30556×body640valid
9.0s202257×body80valid
5.8s27505×body320valid
4.0s36152×body160valid
3.4s519×body5120exit
2.9s62752×body80nan
2.8s109099×pre80true
944.0ms2951×body2560valid
878.0ms16253×body80overflowed
740.0ms299×body1280overflowed
562.0ms3071×body2560nan
372.0ms2514×body1280nan
330.0ms248×body640overflowed
159.0ms1310×body640nan
98.0ms128×body320overflowed
80.0ms223×body5120valid
59.0ms650×body320nan
34.0ms82×body160overflowed
19.0ms310×body160nan
1.0ms75×pre80false

prune30.8s (9.4%)

Filtered
17441 candidates to 10681 candidates (38.8%)

simplify14.3s (4.3%)

Algorithm
225×egg-herbie

regimes13.7s (4.2%)

Accuracy

Total 25.7b remaining (20.3%)

Threshold costs 8.7b (6.9%)

4.8b82.2%Quadratic roots, full range
4.7b82.6%Cubic critical
3.8b71.9%Equirectangular approximation to distance on a great circle
2.4b78.2%Quotient of products
1.2b0%2-ancestry mixing, positive discriminant

series9.1s (2.8%)

Calls

505 calls:

193.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)))
171.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
(sqrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0)))) (* (- phi1 phi2) (- phi1 phi2))))
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) (cos (/ (+ phi1 phi2) 2.0))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0)))) (* (- phi1 phi2) (- phi1 phi2))))

rewrite5.6s (1.7%)

Algorithm
147×rewrite-expression-head
Calls

505 calls:

142.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)))))
105.0ms
(cbrt (pow (- (pow (/ x (+ x 1.0)) 3) (pow (/ (+ x 1.0) (- x 1.0)) 3)) 3))
100.0ms
(pow (- (pow (/ x (+ x 1.0)) 3) (pow (/ (+ x 1.0) (- x 1.0)) 3)) 3)
94.0ms
(- (pow (/ x (+ x 1.0)) 3) (pow (/ (+ x 1.0) (- x 1.0)) 3))
93.0ms
(- (pow (/ x (+ x 1.0)) 3) (pow (/ (+ x 1.0) (- x 1.0)) 3))
Rules
7524×*-un-lft-identity
6680×add-sqr-sqrt
6641×times-frac
3397×add-cube-cbrt
3359×add-exp-log
1994×add-cbrt-cube
1465×unpow-prod-down
1321×difference-of-squares
1285×distribute-lft-out--
1281×associate-*l/
1228×cube-prod
1175×flip--
1174×flip3--
1135×prod-exp
1132×pow1
1104×div-exp
1055×associate-*r*
930×associate-/l*
923×sqrt-prod
810×add-log-exp
724×sqrt-div
695×frac-times
687×distribute-lft-out
631×frac-add
593×associate-*l*
504×associate-/r*
502×cbrt-undiv
478×cbrt-unprod
448×associate-*r/
445×cbrt-prod
376×pow-exp
343×sqr-pow
338×log-prod
325×associate-/r/
323×div-inv
277×pow-to-exp
262×distribute-rgt-neg-in
255×pow-prod-down
228×unswap-sqr
200×flip-+
199×flip3-+
138×associate-/l/
129×exp-prod
124×sub-neg
123×clear-num frac-2neg
116×*-commutative
112×log-div
111×log-pow
97×diff-log
84×1-exp
79×exp-diff
76×rec-exp
70×swap-sqr
67×sum-log
59×sqrt-pow1 cube-mult unpow3
56×pow1/2
53×cbrt-div
51×pow-unpow
43×rem-sqrt-square div-sub
41×distribute-rgt-in distribute-lft-in
39×+-commutative
38×pow1/3 unpow2
36×tan-quot
35×rem-log-exp
32×exp-sum
30×frac-sub pow-prod-up
28×cube-div pow-sqr
27×distribute-lft-neg-in
26×neg-sub0
24×pow-pow
18×distribute-rgt-out
17×difference-cubes associate-+r+ sin-diff sin-mult rem-cube-cbrt
16×pow-plus neg-log associate-+l-
15×cos-diff cos-sum
13×pow2 rem-exp-log
11×associate--l+
10×associate--l- acos-asin associate-+l+ associate--r-
9×neg-mul-1 sin-cos-mult sin-sum distribute-frac-neg pow-flip associate--r+
8×associate-+r-
7×rem-cbrt-cube
6×inv-pow asin-acos un-div-inv distribute-rgt-neg-out
4×acos-neg
3×distribute-lft1-in sqrt-unprod distribute-rgt-out--
2×unsub-neg cos-mult
1×tanh-undef rem-square-sqrt sqrt-pow2 exp-to-pow sub-div log-rec tanh-def

localize2.2s (0.7%)

bsearch197.0ms (0.1%)

end1.0ms (0.0%)

Profiling

Loading profile data...