Date:Thursday, July 9th, 2020
Commit:581c4e77 on evaluate-error-intervals
Hostname:warfa with Racket 7.5
Seed:2020191
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.3min (66.0%)

Algorithm
78×intervals
Results
43.4s43593×body1280valid
25.0s3922×body5120exit
14.1s30261×body640valid
7.6s177377×body80valid
5.8s27523×body320valid
4.0s36006×body160valid
948.0ms3037×body2560valid
95.0ms265×body5120valid

analyze30.3s (10.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

prune27.0s (9.1%)

Filtered
15019 candidates to 9819 candidates (34.6%)

regimes12.6s (4.2%)

Accuracy

Total 41.1b remaining (28.4%)

Threshold costs 4.9b (3.4%)

11.4b29.8%Equirectangular approximation to distance on a great circle
7.2b48.2%Quadratic roots, narrow range
6.7b0%Quadratic roots, medium range
3.5b68.3%Quotient of products
3.5b0%Quadratic roots, wide range

simplify12.6s (4.2%)

Algorithm
221×egg-herbie

series7.9s (2.7%)

Calls

482 calls:

266.0ms
(/ c (- (neg b) (* (fabs (cbrt (- (* b b) (* 3.0 (* a c))))) (sqrt (cbrt (- (* b b) (* 3.0 (* a c))))))))
182.0ms
(cbrt (+ (* (- lambda1 lambda2) (* (- lambda1 lambda2) (pow (cbrt (cos (/ (+ phi1 phi2) 2.0))) 6))) (* (- phi1 phi2) (- phi1 phi2))))
179.0ms
(cbrt (+ (* (- lambda1 lambda2) (* (- lambda1 lambda2) (pow (cbrt (cos (/ (+ phi1 phi2) 2.0))) 6))) (* (- phi1 phi2) (- phi1 phi2))))
178.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)))
146.0ms
(- (* (cos delta) (cos delta)) (* (sin (asin (+ (* (cos delta) (sin phi1)) (* (cos phi1) (* (sin delta) (cos theta)))))) (* (sin (- (/ PI 2) (acos (+ (* (cos delta) (sin phi1)) (* (cos phi1) (* (sin delta) (cos theta))))))) (pow (sin phi1) 2))))

rewrite4.9s (1.6%)

Algorithm
143×rewrite-expression-head
Calls

482 calls:

153.0ms
(- (+ (/ (/ (neg 1.0) x) x) (/ (neg 3.0) x)) (/ 3.0 (pow x 3)))
132.0ms
(+ (/ (/ (neg 1.0) x) x) (/ (neg 3.0) x))
88.0ms
(* (- (/ (/ m v) (/ 1 (- 1.0 m))) 1.0) (- 1.0 m))
85.0ms
(- (/ (/ m v) (/ 1 (- 1.0 m))) 1.0)
72.0ms
(* (sqrt (- (/ x (+ x 1.0)) (/ (+ x 1.0) (- x 1.0)))) (sqrt (- (/ x (+ x 1.0)) (/ (+ x 1.0) (- x 1.0)))))
Rules
5804×*-un-lft-identity
5424×times-frac
5010×add-sqr-sqrt
3365×add-cube-cbrt
2522×add-exp-log
1699×add-cbrt-cube
1192×flip--
1191×flip3--
1004×pow1
948×sqrt-prod
928×frac-times
807×prod-exp
745×associate-*r*
729×div-exp
714×add-log-exp
681×distribute-lft-out--
625×associate-*l/
621×frac-add
611×associate-*l*
601×sqrt-div
560×associate-*r/
559×associate-/r*
556×difference-of-squares
501×distribute-lft-out
435×cbrt-unprod
427×associate-/l*
376×log-prod
371×cbrt-undiv
330×cbrt-div
318×cbrt-prod
313×unpow-prod-down
299×div-inv
297×pow-exp
287×associate-/r/
232×cos-mult
214×pow-to-exp
201×unswap-sqr
185×pow-prod-down
178×distribute-rgt-neg-in
175×flip-+
174×flip3-+
168×swap-sqr
156×cube-prod
121×sub-neg
107×clear-num frac-2neg
106×*-commutative
105×distribute-lft-neg-in
92×sqr-pow
84×diff-log
81×associate--l+ log-pow
65×pow1/3
63×log-div
58×associate-/l/ associate--r+
55×sqrt-pow1
54×pow1/2
50×distribute-rgt-in distribute-lft-in
46×div-sub
43×1-exp rec-exp
42×pow-unpow exp-prod
38×sum-log
37×rem-log-exp
35×cos-diff neg-mul-1 pow-prod-up
34×rem-sqrt-square
32×+-commutative frac-sub
29×cube-mult
28×unpow3
25×pow-sqr
24×distribute-frac-neg
23×unpow2
22×pow-pow sin-mult
19×pow-plus sin-diff
18×distribute-rgt-neg-out
17×acos-asin associate--r-
16×associate--l- associate-+r-
15×exp-sum cosh-undef
14×pow2 neg-sub0 tan-quot pow-flip
10×sqrt-unprod
9×sqrt-undiv inv-pow
8×acos-neg sinh-undef associate-+l-
7×cos-sum neg-log
6×associate-+r+
5×asin-acos un-div-inv rem-exp-log
4×cube-div sin-cos-mult sin-sum rem-cube-cbrt
3×sinh-def rem-square-sqrt distribute-rgt-out cos-acos sqr-cos-a exp-diff
2×unsub-neg rem-cbrt-cube
1×tanh-undef cosh-def tanh-def-b tanh-def-a pow3 distribute-neg-out tanh-def-c

localize4.0s (1.3%)

bsearch1.7s (0.6%)

end1.0ms (0.0%)

Profiling

Loading profile data...