Date:Saturday, July 18th, 2020
Commit:61547132 on release-1.4
Hostname:warfa with Racket 7.5
Seed:2020200
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.5min (49.3%)

Algorithm
77×intervals
Results
43.1s43407×body1280valid
14.0s30209×body640valid
7.7s173492×body80valid
6.0s27526×body320valid
4.1s36036×body160valid
2.5s97125×pre80true
934.0ms2895×body2560valid
706.0ms92×body5120exit
595.0ms3258×body2560nan
499.0ms9528×body80nan
382.0ms2578×body1280nan
350.0ms5477×body80invalid
227.0ms225×body320invalid
219.0ms316×body1280invalid
215.0ms483×body640invalid
156.0ms1263×body640nan
132.0ms47×body1280overflowed
94.0ms1059×body80overflowed
76.0ms206×body5120valid
58.0ms646×body320nan
57.0ms41×body640overflowed
28.0ms129×body160invalid
23.0ms335×body160nan
21.0ms26×body320overflowed
5.0ms12×body160overflowed
2.0ms129×pre80false

analyze30.4s (16.6%)

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.0s (13.1%)

Filtered
12896 candidates to 8693 candidates (32.6%)

regimes12.2s (6.7%)

Accuracy

Total 43.3b remaining (28.4%)

Threshold costs 5.1b (3.3%)

10.8b48.8%Equirectangular approximation to distance on a great circle
6.9b49.9%Quadratic roots, narrow range
6.7b0%Quadratic roots, medium range
3.9b65.6%Quotient of products
3.5b0%Quadratic roots, wide range

simplify12.2s (6.7%)

Algorithm
217×egg-herbie

series6.8s (3.8%)

Calls

459 calls:

191.0ms
(pow E (log (sqrt (+ (* (- lambda1 lambda2) (* (- lambda1 lambda2) (pow (cbrt (cos (/ (+ phi1 phi2) 2.0))) 6))) (* (- phi1 phi2) (- phi1 phi2))))))
145.0ms
(sqrt (+ (* (- lambda1 lambda2) (* (- lambda1 lambda2) (* (cos (/ (+ phi1 phi2) 2.0)) (cos (/ (+ phi1 phi2) 2.0))))) (* (- phi1 phi2) (- phi1 phi2))))
141.0ms
(sqrt (+ (* (- lambda1 lambda2) (* (- lambda1 lambda2) (pow (cbrt (cos (/ (+ phi1 phi2) 2.0))) 6))) (* (- phi1 phi2) (- phi1 phi2))))
141.0ms
(sqrt (+ (* (- lambda1 lambda2) (* (- lambda1 lambda2) (pow (cbrt (cos (/ (+ phi1 phi2) 2.0))) 6))) (* (- 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))))

rewrite4.4s (2.4%)

Algorithm
141×rewrite-expression-head
Calls

459 calls:

210.0ms
(+ (* 1/3 (pow x 3)) (* 1/60 (pow x 5)))
128.0ms
(/ (- (pow (/ x (+ x 1.0)) 3) (pow (/ (+ x 1.0) (- x 1.0)) 3)) (+ (* (/ x (+ x 1.0)) (/ x (+ x 1.0))) (/ (+ x (* (+ x 1.0) (/ (+ x 1.0) (- x 1.0)))) (- x 1.0))))
128.0ms
(log (* (* (cbrt (- (/ 0.125 (pow x 3)) (+ (/ 0.5 x) (/ 0.0625 (pow x 5))))) (cbrt (- (/ 0.125 (pow x 3)) (+ (/ 0.5 x) (/ 0.0625 (pow x 5)))))) (cbrt (- (/ 0.125 (pow x 3)) (+ (/ 0.5 x) (/ 0.0625 (pow x 5)))))))
96.0ms
(- (pow (/ x (+ x 1.0)) 3) (pow (/ (+ x 1.0) (- x 1.0)) 3))
41.0ms
(- (/ 1.0 (+ (pow (tan x) 2) 1.0)) (/ (pow (tan x) 2) (+ (pow (tan x) 2) 1.0)))
Rules
4049×*-un-lft-identity
3631×add-sqr-sqrt
2816×times-frac
2103×add-cube-cbrt
1705×add-exp-log
1523×add-cbrt-cube
1048×flip--
1047×flip3--
942×pow1
927×frac-times
704×associate-*l/
690×add-log-exp
659×unpow-prod-down
616×associate-*l*
604×cbrt-div
584×frac-add
573×difference-of-squares
560×sqrt-div
544×distribute-lft-out--
488×cube-prod
459×sqrt-prod
451×associate-*r*
431×prod-exp
424×associate-*r/
411×cbrt-prod
390×log-div
389×associate-/r*
387×distribute-lft-out
379×cbrt-unprod
376×frac-sub
374×associate-/l*
361×div-exp
309×cbrt-undiv
241×flip-+
240×flip3-+
224×log-prod
180×div-inv
176×pow-prod-down
174×associate-/r/
155×unswap-sqr
143×sqr-pow
112×sub-neg
99×*-commutative
93×pow-unpow clear-num frac-2neg
91×associate-/l/
89×log-pow
86×exp-prod
80×diff-log
76×exp-diff
75×cos-mult
67×pow-sub
65×exp-sum
62×pow1/3
60×pow-pow
54×swap-sqr
52×sqrt-pow1 pow1/2
51×pow-exp
42×cosh-undef
40×distribute-rgt-in pow-to-exp distribute-lft-in div-sub
39×rem-sqrt-square
38×sum-log distribute-rgt-neg-in
28×rem-log-exp +-commutative pow-prod-up
24×cube-mult unpow3
23×1-exp rec-exp
22×unpow2
21×cos-diff
20×pow-sqr sin-diff
17×pow-plus rem-cube-cbrt
14×tan-quot
13×sin-mult
12×pow2 cos-sum associate--r+
11×cube-div neg-sub0 acos-asin
10×sinh-undef
9×associate--l+
8×neg-log distribute-frac-neg distribute-rgt-neg-out rem-exp-log
7×associate--l- associate-+r+ associate-+l- pow-flip
6×unpow-prod-up associate-+r-
5×difference-cubes associate--r- rem-cbrt-cube
4×acos-neg inv-pow sin-sum
3×distribute-lft-neg-in associate-+l+ sin-cos-mult asin-acos sum-cubes distribute-rgt-out--
2×sqrt-undiv sqrt-unprod un-div-inv
1×tanh-undef e-exp-1 neg-mul-1 rem-square-sqrt distribute-rgt-out exp-to-pow unpow1/3 sub-div tanh-def-b tanh-def-a pow3 sqr-cos-a tanh-def-c

localize2.2s (1.2%)

bsearch330.0ms (0.2%)

end1.0ms (0.0%)

Profiling

Loading profile data...