Date:Monday, June 22nd, 2020
Commit:b6782673 on ival-perf-with-search
Hostname:warfa with Racket 7.5
Seed:2020174
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 (43.2%)

Algorithm
78×intervals
Results
43.8s43545×body1280valid
14.8s29943×body640valid
10.2s1435×body5120exit
7.9s174769×body80valid
6.1s27061×body320valid
4.2s35898×body160valid
2.7s106425×pre80true
2.0s779×body1280overflowed
1.2s6744×body80overflowed
973.0ms2995×body2560valid
931.0ms680×body640overflowed
577.0ms3016×body2560nan
490.0ms9237×body80nan
412.0ms2676×body1280nan
349.0ms5496×body80invalid
261.0ms328×body320overflowed
236.0ms502×body640invalid
231.0ms317×body1280invalid
156.0ms1258×body640nan
87.0ms198×body160overflowed
79.0ms239×body320invalid
74.0ms198×body5120valid
59.0ms635×body320nan
24.0ms347×body160nan
24.0ms111×body160invalid
2.0ms118×pre80false

analyze58.1s (23.7%)

Algorithm
78×search

prune32.6s (13.3%)

Filtered
18287 candidates to 11432 candidates (37.5%)

regimes14.2s (5.8%)

Accuracy

Total 20.7b remaining (18.5%)

Threshold costs 7.0b (6.3%)

3.6b73.3%Equirectangular approximation to distance on a great circle
3.2b0%Quotient of products
1.9b0%Hyperbolic tangent
1.8b92.7%Quadratic roots, full range
1.1b95.5%Cubic critical

simplify14.2s (5.8%)

Algorithm
225×egg-herbie

series10.1s (4.1%)

Calls

515 calls:

465.0ms
(sqrt (+ (* (* (- lambda1 lambda2) (- lambda1 lambda2)) (+ 1/2 (* 1/2 (cos (* 2 (/ (+ phi1 phi2) 2.0)))))) (* (- phi1 phi2) (- phi1 phi2))))
384.0ms
(pow (pow (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))) 3) 3)
328.0ms
(/ (* (* (pow (* (cbrt (/ 1.0 (+ 1.0 (exp (neg s))))) (cbrt (/ 1.0 (+ 1.0 (exp (neg s)))))) c_p) (pow (cbrt (/ 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)))
237.0ms
(- (pow (cos delta) 3) (pow (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))) 3))
210.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)))

rewrite5.8s (2.4%)

Algorithm
147×rewrite-expression-head
Calls

515 calls:

88.0ms
(* (- (/ (/ m v) (/ 1 (- 1.0 m))) 1.0) (- 1.0 m))
83.0ms
(* 1/6 (/ (pow x 3) (pow (sqrt 1.0) 3)))
83.0ms
(- (/ (/ m v) (/ 1 (- 1.0 m))) 1.0)
82.0ms
(- (- (/ (neg 1.0) (pow x 2)) (/ 3.0 x)) (/ 3.0 (pow x 3)))
72.0ms
(- (/ 0.125 (pow x 3)) (- (/ 0.5 x) (/ (neg 0.0625) (pow x 5))))
Rules
8491×times-frac
7410×add-sqr-sqrt
7210×*-un-lft-identity
5031×add-exp-log
4396×add-cube-cbrt
2549×prod-exp
1919×add-cbrt-cube
1592×div-exp
1333×pow-exp
1212×difference-of-squares
1187×associate-*r*
1081×pow1
1067×flip--
1066×flip3--
1062×distribute-lft-out--
1000×sqrt-prod
991×pow-to-exp
937×associate-/l*
864×add-log-exp
774×frac-times
641×associate-*l/
594×unpow-prod-down
567×sqrt-div
559×associate-/r*
547×associate-*l*
506×div-inv
497×frac-add
494×cbrt-undiv
459×cbrt-unprod
392×distribute-rgt-neg-in
389×associate-/r/
385×associate-*r/
378×distribute-lft-out
349×cube-prod
344×cbrt-prod
264×flip-+
263×flip3-+
248×log-prod
211×sqr-pow
209×unswap-sqr
201×pow-prod-down
190×log-pow
148×exp-prod
144×sub-neg
126×clear-num diff-log frac-2neg
109×associate-/l/
107×*-commutative
85×swap-sqr
83×cos-mult
78×distribute-lft-neg-in
65×sum-log sqrt-pow1
63×log-div
62×cube-mult unpow3
52×cbrt-div pow1/3
47×pow1/2
46×div-sub
42×pow-unpow 1-exp
40×+-commutative associate-+r+
39×associate--l+ unpow2
37×distribute-rgt-in distribute-lft-in
34×rec-exp
33×neg-sub0 associate-+l+
31×rem-sqrt-square
30×exp-sum
29×rem-log-exp
28×distribute-rgt-out
26×frac-sub
25×neg-mul-1 pow-pow
24×associate--l-
23×pow-prod-up
21×pow-sqr
20×neg-log tan-quot sin-mult
19×associate-+l-
18×sin-diff
16×cube-div cos-diff associate--r+
15×cos-sum rem-cube-cbrt
14×associate-+r-
13×pow-plus associate--r- exp-diff
12×pow2
11×sin-cos-mult rem-exp-log
10×distribute-frac-neg
9×asin-acos pow-flip
7×difference-cubes distribute-rgt-neg-out
6×acos-asin
5×distribute-lft1-in exp-to-pow inv-pow sin-sum
3×acos-neg rem-cbrt-cube
2×sqrt-unprod unsub-neg distribute-neg-frac
1×tanh-undef sqr-cos sqrt-undiv rem-square-sqrt mul-1-neg un-div-inv cos-2 distribute-neg-out tanh-def

localize2.3s (0.9%)

bsearch1.8s (0.7%)

end2.0ms (0.0%)

Profiling

Loading profile data...