Date:Sunday, June 21st, 2020
Commit:b922bf9e on ival-perf-with-search
Hostname:warfa with Racket 7.5
Seed:2020173
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

sample2.5min (41.2%)

Algorithm
78×intervals
Results
44.3s43720×body1280valid
39.7s5780×body5120exit
14.1s29786×body640valid
8.3s176668×body80valid
7.9s3129×body1280overflowed
6.3s27355×body320valid
4.8s24770×body80overflowed
4.2s35867×body160valid
3.6s2697×body640overflowed
3.6s137027×pre80true
1.2s3019×body2560valid
1.1s1360×body320overflowed
626.0ms3186×body2560nan
511.0ms9483×body80nan
424.0ms2549×body1280nan
359.0ms5435×body80invalid
285.0ms655×body160overflowed
224.0ms467×body640invalid
199.0ms294×body1280invalid
163.0ms1270×body640nan
124.0ms187×body5120valid
74.0ms210×body320invalid
63.0ms651×body320nan
27.0ms118×body160invalid
19.0ms275×body160nan
2.0ms120×pre80false

prune1.8min (29.0%)

Filtered
23730 candidates to 14764 candidates (37.8%)

analyze59.3s (16.1%)

Algorithm
78×search

simplify16.0s (4.3%)

Algorithm
227×egg-herbie

regimes13.7s (3.7%)

Accuracy

Total 27.7b remaining (23.2%)

Threshold costs 8.7b (7.3%)

5.3b54%Quotient of products
4.6b83.7%Cubic critical
3.5b73.9%Equirectangular approximation to distance on a great circle
3.3b88.5%Quadratic roots, full range
1.2b0%2-ancestry mixing, positive discriminant

series9.4s (2.6%)

Calls

530 calls:

213.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)))
196.0ms
(cbrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0)))) (* (- phi1 phi2) (- phi1 phi2))))
195.0ms
(cbrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0)))) (* (- phi1 phi2) (- phi1 phi2))))
186.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)))
152.0ms
(sqrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (* (cbrt (- lambda1 lambda2)) (cbrt (- lambda1 lambda2))) (* (cbrt (- lambda1 lambda2)) (cos (/ (+ phi1 phi2) 2.0))))) (* (- phi1 phi2) (- phi1 phi2))))

rewrite7.6s (2.1%)

Algorithm
149×rewrite-expression-head
Calls

530 calls:

217.0ms
(* 2.0 (/ (pow x 2) (pow 1.0 2)))
176.0ms
(/ (/ (/ 1 (/ 2.0 4.0)) (/ 1 c)) (- (neg b) (sqrt (- (* b b) (* (* 4.0 a) c)))))
152.0ms
(- (pow (/ x (+ x 1.0)) 3) (pow (/ (+ x 1.0) (- x 1.0)) 3))
139.0ms
(cbrt (pow (- (pow (/ x (+ x 1.0)) 3) (pow (/ (+ x 1.0) (- x 1.0)) 3)) 3))
116.0ms
(pow (- (pow (/ x (+ x 1.0)) 3) (pow (/ (+ x 1.0) (- x 1.0)) 3)) 3)
Rules
27533×times-frac
17580×*-un-lft-identity
16513×add-sqr-sqrt
11354×add-cube-cbrt
3357×add-exp-log
2499×sqrt-prod
2220×difference-of-squares
2167×distribute-lft-out--
2128×flip--
2127×flip3--
2119×associate-*l/
2046×add-cbrt-cube
1861×frac-times
1529×cbrt-div
1406×associate-/l*
1333×associate-*r*
1253×pow1
1213×div-inv
1143×div-exp
1139×unpow-prod-down
1072×prod-exp
993×frac-add
962×sqrt-div
911×cube-prod
856×associate-*r/
842×distribute-lft-out
838×add-log-exp
824×distribute-rgt-neg-in
602×associate-/r*
528×associate-*l*
498×cbrt-unprod
492×cbrt-undiv
481×cbrt-prod
451×associate-/r/
368×pow-exp
314×pow-prod-down
276×sqr-pow
267×pow-to-exp
246×flip-+ unswap-sqr
245×flip3-+
227×swap-sqr
169×log-prod
132×clear-num sub-neg frac-2neg
119×associate-/l/
115×*-commutative
107×log-div
100×1-exp
94×diff-log
80×rec-exp
75×log-pow exp-prod
71×exp-diff
68×sum-log
56×unpow2
55×cube-mult unpow3
54×distribute-rgt-in distribute-lft-in pow1/3
48×sqrt-pow1
47×+-commutative div-sub
43×cube-div
42×pow-unpow pow1/2
35×rem-sqrt-square pow-sqr pow-prod-up
33×distribute-rgt-out
31×frac-sub
29×associate-+r+
28×neg-sub0 tan-quot
27×associate-+l+
24×distribute-lft-neg-in
23×associate--l+
21×cos-diff cos-sum associate-+l-
20×pow-plus
19×sin-sum sin-diff pow-pow
18×rem-cube-cbrt
17×rem-log-exp sin-mult
16×pow2 acos-asin
15×exp-sum neg-log
14×cos-mult
13×pow-flip associate--r+
12×associate--l- difference-cubes
9×associate-+r- distribute-lft1-in
8×neg-mul-1 associate--r- distribute-frac-neg
7×sqrt-undiv inv-pow rem-exp-log
6×sin-cos-mult
5×asin-acos
4×rem-cbrt-cube
3×acos-neg sub-div distribute-rgt-neg-out distribute-rgt-out--
2×sqrt-unprod
1×tanh-undef sqr-cos rem-square-sqrt exp-to-pow unsub-neg un-div-inv tanh-def

localize2.3s (0.6%)

bsearch1.5s (0.4%)

end2.0ms (0.0%)

Profiling

Loading profile data...