Date:Tuesday, July 14th, 2020
Commit:2afbfc40 on master
Hostname:warfa with Racket 7.5
Seed:2020196
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

sample3.3min (75.8%)

Algorithm
78×intervals
Results
1.0min8864×body5120exit
44.3s44305×body1280valid
14.1s30138×body640valid
12.0s4787×body1280overflowed
9.6s206978×body80valid
8.0s52772×body80overflowed
6.7s152328×body80nan
6.0s27504×body320valid
5.7s4282×body640overflowed
5.2s218985×pre80true
4.2s35925×body160valid
1.6s2126×body320overflowed
1.0s3080×body2560valid
620.0ms3156×body2560nan
458.0ms1065×body160overflowed
401.0ms2522×body1280nan
365.0ms16649×pre80false
160.0ms1277×body640nan
95.0ms211×body5120valid
61.0ms624×body320nan
21.0ms325×body160nan

prune23.3s (8.8%)

Filtered
13788 candidates to 8926 candidates (35.3%)

regimes12.8s (4.8%)

Accuracy

Total 32.6b remaining (22%)

Threshold costs 5.8b (3.9%)

7.3b47.8%Quadratic roots, narrow range
6.1b13.5%Quadratic roots, medium range
4.2b70.3%Equirectangular approximation to distance on a great circle
3.6b0%Quadratic roots, wide range
2.0b75.5%Quotient of products

simplify12.8s (4.8%)

Algorithm
220×egg-herbie

series8.3s (3.1%)

Calls

474 calls:

275.0ms
(pow (- (pow (cos delta) 2) (* (sin (asin (+ (* (cos delta) (sin phi1)) (* (sin delta) (* (cos phi1) (cos theta)))))) (* (sin (asin (+ (* (cos delta) (sin phi1)) (* (sin delta) (* (cos phi1) (cos theta)))))) (pow (sin phi1) 2)))) 3)
212.0ms
(cbrt a2)
191.0ms
(cbrt (+ (* (- lambda1 lambda2) (* (- lambda1 lambda2) (* (pow (cbrt (cos (/ (+ phi1 phi2) 2.0))) 5) (cbrt (cos (/ (+ phi1 phi2) 2.0)))))) (* (- phi1 phi2) (- phi1 phi2))))
183.0ms
(cbrt (+ (* (- lambda1 lambda2) (* (- lambda1 lambda2) (* (pow (cbrt (cos (/ (+ phi1 phi2) 2.0))) 5) (cbrt (cos (/ (+ phi1 phi2) 2.0)))))) (* (- phi1 phi2) (- phi1 phi2))))
176.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)))

rewrite4.4s (1.6%)

Algorithm
142×rewrite-expression-head
Calls

474 calls:

80.0ms
(+ (* (/ -1 x) (/ 1.0 x)) (- (/ (neg 3.0) (pow x 3)) (/ 3.0 x)))
76.0ms
(- (/ (neg 3.0) (pow x 3)) (/ 3.0 x))
44.0ms
(log (- (/ 0.125 (pow x 3)) (+ (/ 0.5 x) (/ 0.0625 (pow x 5)))))
42.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)))
39.0ms
(- (/ 1.0 (+ (pow (tan x) 2) 1.0)) (/ (pow (tan x) 2) (+ (pow (tan x) 2) 1.0)))
Rules
3868×*-un-lft-identity
3857×add-sqr-sqrt
3664×times-frac
2731×add-cube-cbrt
2621×add-exp-log
1759×add-cbrt-cube
1101×pow1
918×prod-exp
815×flip--
814×flip3--
733×div-exp
717×associate-*r*
716×add-log-exp
643×cbrt-prod
623×associate-*l/
617×associate-*l*
605×sqrt-prod
576×frac-times
535×cbrt-unprod
432×associate-/r*
415×frac-add
380×cbrt-undiv
373×associate-*r/
367×associate-/l*
346×sqrt-div
337×difference-of-squares
308×unpow-prod-down
294×pow-exp
281×distribute-lft-out--
280×distribute-lft-out
247×pow-prod-down
238×log-prod
229×div-inv
209×pow-to-exp
206×cbrt-div
184×cube-prod
179×associate-/r/
174×flip-+
173×flip3-+
164×unswap-sqr
116×sub-neg
110×*-commutative
94×log-pow
93×clear-num frac-2neg
88×sqrt-pow1
83×swap-sqr
80×distribute-rgt-neg-in diff-log
78×cos-mult
76×sqr-pow
68×distribute-rgt-in distribute-lft-in pow1/2
58×associate-/l/
54×associate--l+
52×1-exp exp-prod
51×pow-unpow pow1/3
46×distribute-lft-neg-in sum-log
45×associate--r+
44×log-div
42×unpow3
39×+-commutative
37×rem-sqrt-square pow-prod-up
36×div-sub cube-mult
32×cosh-undef
29×pow-sqr
27×cos-diff
25×frac-sub
24×rec-exp
23×rem-log-exp
21×pow-pow
17×sin-diff
16×cos-sum neg-mul-1
14×associate--l- neg-sub0 pow-plus distribute-rgt-neg-out
13×distribute-frac-neg
12×pow2 exp-sum acos-asin tan-quot unpow2
11×associate-+r- sqrt-unprod
10×cube-div sin-mult
9×associate-+r+ sin-sum associate--r- neg-log distribute-rgt-out--
8×sinh-undef
7×sqrt-undiv rem-cbrt-cube pow-flip
6×acos-neg associate-+l- exp-diff
5×inv-pow rem-cube-cbrt
4×rem-square-sqrt un-div-inv
3×sqr-cos cosh-def sinh-def asin-acos
2×associate-+l+ sin-cos-mult rem-exp-log
1×distribute-lft-neg-out difference-cubes tanh-undef distribute-rgt-out unpow1/3 sub-div tanh-def

localize2.1s (0.8%)

bsearch402.0ms (0.2%)

end1.0ms (0.0%)

Profiling

Loading profile data...