Date:Thursday, July 16th, 2020
Commit:f7753480 on master
Hostname:warfa with Racket 7.5
Seed:2020198
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 (52.7%)

Algorithm
78×intervals
Results
43.9s43676×body1280valid
14.7s29899×body640valid
9.8s1367×body5120exit
8.0s174375×body80valid
5.9s27383×body320valid
4.2s35962×body160valid
2.6s106178×pre80true
2.0s752×body1280overflowed
1.2s6523×body80overflowed
1.0s699×body640overflowed
955.0ms2893×body2560valid
596.0ms3044×body2560nan
581.0ms5373×body80invalid
495.0ms9335×body80nan
411.0ms2515×body1280nan
266.0ms318×body320overflowed
235.0ms337×body1280invalid
219.0ms463×body640invalid
161.0ms1237×body640nan
106.0ms228×body5120valid
82.0ms179×body160overflowed
82.0ms232×body320invalid
66.0ms643×body320nan
28.0ms112×body160invalid
23.0ms344×body160nan
2.0ms131×pre80false

analyze30.3s (15.1%)

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.6s (12.3%)

Filtered
13869 candidates to 8987 candidates (35.2%)

regimes13.7s (6.8%)

Accuracy

Total 41.7b remaining (28.7%)

Threshold costs 6.5b (4.5%)

7.3b46.7%Quadratic roots, narrow range
6.1b62.7%Equirectangular approximation to distance on a great circle
5.9b14.2%Quadratic roots, medium range
5.9b48%Quotient of products
5.1b82.3%Quadratic roots, full range

simplify12.2s (6.1%)

Algorithm
219×egg-herbie

series6.9s (3.4%)

Calls

468 calls:

183.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)))
139.0ms
(sqrt (+ (* (- lambda1 lambda2) (* (- lambda1 lambda2) (pow (cbrt (cos (/ (+ phi1 phi2) 2.0))) 6))) (* (- phi1 phi2) (- phi1 phi2))))
139.0ms
(sqrt (+ (* (- lambda1 lambda2) (* (- lambda1 lambda2) (* (cos (/ (+ phi1 phi2) 2.0)) (cos (/ (+ phi1 phi2) 2.0))))) (* (- phi1 phi2) (- phi1 phi2))))
138.0ms
(sqrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0)))) (* (- phi1 phi2) (- phi1 phi2))))
136.0ms
(sqrt (+ (* (- lambda1 lambda2) (* (- lambda1 lambda2) (pow (cbrt (cos (/ (+ phi1 phi2) 2.0))) 6))) (* (- phi1 phi2) (- phi1 phi2))))

rewrite4.5s (2.3%)

Algorithm
141×rewrite-expression-head
Calls

468 calls:

111.0ms
(log (exp (- (pow (/ x (+ x 1.0)) 3) (pow (/ (+ x 1.0) (- x 1.0)) 3))))
104.0ms
(- (pow (/ x (+ x 1.0)) 3) (pow (/ (+ x 1.0) (- x 1.0)) 3))
101.0ms
(- (pow (/ x (+ x 1.0)) 3) (pow (/ (+ x 1.0) (- x 1.0)) 3))
53.0ms
(+ (neg (log (sqrt x))) (log (+ (/ 1.0 (sqrt x)) (/ (sqrt (- 1.0 (* x x))) (sqrt x)))))
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)))
Rules
5245×*-un-lft-identity
4326×add-sqr-sqrt
4287×times-frac
2850×add-cube-cbrt
2280×add-exp-log
1582×add-cbrt-cube
1056×pow1
844×flip--
843×flip3--
727×prod-exp
718×add-log-exp
639×distribute-lft-out
635×div-exp
600×sqrt-prod
578×distribute-lft-out--
573×associate-*l*
563×difference-of-squares
543×cbrt-prod associate-*l/
535×frac-times
529×log-prod
501×unpow-prod-down
496×sqrt-div
471×associate-*r*
447×associate-/r*
405×frac-add
404×cbrt-unprod
378×associate-/l*
348×associate-*r/
340×cube-prod
324×cbrt-undiv
296×pow-exp
267×log-pow
250×div-inv
232×associate-/r/
208×pow-to-exp
198×pow-prod-down
181×exp-prod
150×flip-+
149×flip3-+
141×sub-neg
134×associate-+r+ swap-sqr
117×unswap-sqr
106×sqr-pow
98×clear-num frac-2neg
97×*-commutative
93×diff-log
88×cbrt-div
78×associate--l+
76×log-div
73×cos-mult
67×associate-/l/
59×sum-log
48×pow-unpow
43×distribute-rgt-in distribute-lft-in sqrt-pow1 pow1/2
42×associate--r+
41×pow1/3
38×rem-log-exp
37×rem-sqrt-square
34×+-commutative
33×div-sub
28×associate-+l+
24×pow-pow
21×cube-mult pow-sqr sin-diff pow-prod-up unpow3
20×1-exp rec-exp
19×distribute-rgt-neg-out
18×frac-sub
16×cos-diff distribute-rgt-neg-in
15×associate-+r- pow-plus
14×tan-quot
13×cube-div pow2
12×distribute-frac-neg
11×associate--l- rem-cube-cbrt
10×associate--r- sin-mult
9×acos-asin sin-cos-mult
8×sinh-undef cosh-undef exp-diff
7×exp-sum cos-sum pow-flip unpow2
6×distribute-neg-in asin-acos
5×neg-sub0 inv-pow associate-+l-
4×difference-cubes sin-sum neg-log distribute-rgt-out-- rem-exp-log
3×distribute-lft-neg-in acos-neg sqrt-undiv distribute-rgt-out sum-cubes
2×sub-div pow-sub
1×tanh-undef cosh-def sinh-def neg-mul-1 sqrt-unprod tanh-def-b tanh-def-a sqr-cos-a rem-cbrt-cube tanh-def-c

localize2.1s (1.1%)

bsearch370.0ms (0.2%)

end1.0ms (0.0%)

Profiling

Loading profile data...