Date:Friday, July 10th, 2020
Commit:40c95423 on ival-perf-with-search
Hostname:warfa with Racket 7.5
Seed:2020192
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

sample3.9min (70.7%)

Algorithm
77×intervals
Results
1.6min13635×body5120exit
43.8s43574×body1280valid
18.9s7490×body1280overflowed
14.9s29755×body640valid
11.8s60048×body80overflowed
9.1s6715×body640overflowed
8.9s180540×body80valid
5.2s23971×body320valid
4.7s195782×pre80true
3.8s31812×body160valid
2.7s3407×body320overflowed
982.0ms2922×body2560valid
733.0ms1683×body160overflowed
583.0ms3081×body2560nan
411.0ms8209×body80nan
401.0ms2525×body1280nan
342.0ms5278×body80invalid
252.0ms221×body5120valid
216.0ms477×body640invalid
198.0ms293×body1280invalid
153.0ms1226×body640nan
81.0ms240×body320invalid
62.0ms613×body320nan
22.0ms103×body160invalid
20.0ms308×body160nan
3.0ms144×pre80false

analyze30.3s (9.2%)

Algorithm
39×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

prune24.9s (7.6%)

Filtered
14332 candidates to 9139 candidates (36.2%)

regimes13.4s (4.1%)

Accuracy

Total 49.1b remaining (41.7%)

Threshold costs 4.8b (4.1%)

15.4b23.3%Equirectangular approximation to distance on a great circle
7.2b47.8%Quadratic roots, narrow range
6.2b46%Quotient of products
5.8b12.8%Quadratic roots, medium range
4.4b84.2%Cubic critical

simplify12.6s (3.9%)

Algorithm
220×egg-herbie

series8.1s (2.5%)

Calls

467 calls:

239.0ms
(- (pow (cos delta) 3) (pow (* (sin phi1) (sin (asin (+ (* (cos delta) (sin phi1)) (* (cos phi1) (* (sin delta) (cos theta))))))) 3))
236.0ms
(- (pow (cos delta) 3) (* (pow (sin phi1) 3) (pow (+ (* (sin phi1) (cos delta)) (* (cos phi1) (* (sin delta) (cos theta)))) 3)))
218.0ms
(/ (/ 1 (cbrt (* 2.0 a))) (/ 1 (cbrt g)))
189.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)))
180.0ms
(pow (exp 1/2) (log (+ (* (- lambda1 lambda2) (* (- lambda1 lambda2) (pow (cbrt (cos (/ (+ phi1 phi2) 2.0))) 6))) (* (- phi1 phi2) (- phi1 phi2)))))

rewrite4.2s (1.3%)

Algorithm
143×rewrite-expression-head
Calls

467 calls:

41.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)))
40.0ms
(- (/ 1.0 (+ (pow (tan x) 2) 1.0)) (/ (pow (tan x) 2) (+ (pow (tan x) 2) 1.0)))
37.0ms
(log (+ x (+ x (- (/ 0.5 x) (/ 0.125 (pow x 3))))))
31.0ms
(+ x (- (/ 0.5 x) (/ 0.125 (pow x 3))))
30.0ms
(- (/ x (+ x 1.0)) (/ (+ x 1.0) (- x 1.0)))
Rules
5217×times-frac
4985×*-un-lft-identity
4958×add-sqr-sqrt
3268×add-cube-cbrt
2467×add-exp-log
1628×add-cbrt-cube
1040×flip--
1039×flip3--
987×pow1
803×prod-exp
768×sqrt-prod
726×frac-times
707×add-log-exp
700×div-exp
682×associate-*r*
669×difference-of-squares
633×associate-*l*
610×associate-*l/
515×cbrt-prod
473×frac-add
469×associate-/r*
457×associate-*r/
454×distribute-lft-out
433×sqrt-div
422×cbrt-unprod
393×distribute-lft-out--
380×associate-/l*
338×unpow-prod-down
330×cbrt-undiv
329×log-prod
304×pow-exp
293×associate-/r/
285×div-inv
238×log-div
222×pow-to-exp
204×cbrt-div
195×pow-prod-down
182×unswap-sqr
174×swap-sqr
164×flip-+
163×flip3-+
149×sqr-pow
127×cube-prod
114×sub-neg
110×*-commutative
96×clear-num frac-2neg
87×unpow2
86×diff-log
77×cos-mult
71×associate-/l/
70×pow-unpow
67×exp-diff
66×log-pow pow-sub
59×sqrt-pow1 cosh-undef
57×pow1/2
50×1-exp rec-exp
44×sum-log div-sub
43×associate--l+
41×rem-sqrt-square
36×rem-log-exp
35×pow1/3
34×distribute-rgt-in distribute-lft-in
33×+-commutative
31×pow-pow associate--r+
29×distribute-rgt-neg-in exp-prod
27×cos-diff
26×frac-sub
21×associate-+r+ cube-mult pow-prod-up unpow3
18×sin-diff
17×pow-sqr
15×distribute-rgt-neg-out
14×cube-div exp-sum distribute-frac-neg
13×sin-mult
12×associate--l- pow-flip
11×pow2 acos-asin associate-+r- pow-plus
9×un-div-inv rem-cube-cbrt
8×cos-sum sinh-undef sin-cos-mult inv-pow tan-quot
7×neg-sub0 acos-neg
6×distribute-rgt-out--
5×unpow-prod-up associate-+l+ associate--r- neg-log
4×asin-acos associate-+l-
3×distribute-lft-neg-in sqrt-unprod sin-sum rem-cbrt-cube
2×difference-cubes sqrt-undiv sinh-def rem-square-sqrt sub-div rem-exp-log
1×tanh-undef cosh-def neg-mul-1 distribute-rgt-out tanh-def-b tanh-def-a unsub-neg sqr-cos-a tanh-def-c

localize2.1s (0.6%)

bsearch490.0ms (0.1%)

end1.0ms (0.0%)

Profiling

Loading profile data...