Date:Thursday, July 16th, 2020
Commit:2fc654f8 on release-1.4
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.3%)

Algorithm
78×intervals
Results
44.2s43676×body1280valid
14.6s29899×body640valid
9.6s1367×body5120exit
8.4s174375×body80valid
6.1s27383×body320valid
4.3s35962×body160valid
2.7s106178×pre80true
1.9s752×body1280overflowed
1.2s6523×body80overflowed
980.0ms2893×body2560valid
967.0ms699×body640overflowed
587.0ms3044×body2560nan
514.0ms9335×body80nan
402.0ms2515×body1280nan
363.0ms5373×body80invalid
254.0ms318×body320overflowed
231.0ms337×body1280invalid
222.0ms463×body640invalid
161.0ms1237×body640nan
107.0ms228×body5120valid
78.0ms179×body160overflowed
77.0ms232×body320invalid
63.0ms643×body320nan
25.0ms112×body160invalid
23.0ms344×body160nan
2.0ms131×pre80false

analyze31.3s (15.4%)

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

prune25.2s (12.4%)

Filtered
13782 candidates to 8933 candidates (35.2%)

regimes14.2s (7.0%)

Accuracy

Total 39.4b remaining (27.1%)

Threshold costs 6.5b (4.5%)

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

simplify12.1s (5.9%)

Algorithm
219×egg-herbie

series7.1s (3.5%)

Calls

468 calls:

184.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)))
144.0ms
(sqrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (- lambda1 lambda2) (* (* (cbrt (cos (/ (+ phi1 phi2) 2.0))) (cbrt (cos (/ (+ phi1 phi2) 2.0)))) (cbrt (cos (/ (+ phi1 phi2) 2.0)))))) (* (- phi1 phi2) (- phi1 phi2))))
142.0ms
(sqrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0)))) (* (- phi1 phi2) (- phi1 phi2))))
141.0ms
(sqrt (+ (* (- lambda1 lambda2) (* (pow (cbrt (cos (/ (+ phi1 phi2) 2.0))) 6) (- lambda1 lambda2))) (* (- phi1 phi2) (- phi1 phi2))))
140.0ms
(sqrt (+ (* (- lambda1 lambda2) (* (cos (/ (+ phi1 phi2) 2.0)) (* (- lambda1 lambda2) (pow (cbrt (cos (/ (+ phi1 phi2) 2.0))) 3)))) (* (- phi1 phi2) (- phi1 phi2))))

rewrite4.7s (2.3%)

Algorithm
141×rewrite-expression-head
Calls

468 calls:

105.0ms
(log (exp (- (pow (/ x (+ x 1.0)) 3) (pow (/ (+ x 1.0) (- x 1.0)) 3))))
98.0ms
(- (pow (/ x (+ x 1.0)) 3) (pow (/ (+ x 1.0) (- x 1.0)) 3))
95.0ms
(- (pow (/ x (+ x 1.0)) 3) (pow (/ (+ x 1.0) (- x 1.0)) 3))
48.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
5242×*-un-lft-identity
4321×add-sqr-sqrt
4287×times-frac
2847×add-cube-cbrt
2278×add-exp-log
1580×add-cbrt-cube
1049×pow1
742×flip--
741×flip3--
726×prod-exp
718×add-log-exp
639×distribute-lft-out
635×div-exp
600×sqrt-prod
578×distribute-lft-out--
570×associate-*l*
563×difference-of-squares
542×cbrt-prod
529×log-prod
501×unpow-prod-down
477×associate-*l/
468×associate-*r*
447×associate-/r*
426×associate-*r/
424×sqrt-div
403×frac-times cbrt-unprod
378×associate-/l*
346×cube-prod
333×frac-add
324×cbrt-undiv
296×pow-exp
267×log-pow
250×div-inv
232×associate-/r/
208×pow-to-exp
197×pow-prod-down
181×exp-prod
150×flip-+
149×flip3-+
141×sub-neg
134×associate-+r+
131×swap-sqr
116×unswap-sqr
105×sqr-pow
98×clear-num frac-2neg
96×*-commutative
93×diff-log
88×cbrt-div
78×associate--l+
76×log-div
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+
25×pow-pow
22×cube-mult unpow3
21×sin-diff
20×1-exp rec-exp pow-sqr pow-prod-up
19×distribute-rgt-neg-out
18×frac-sub
16×cos-diff distribute-rgt-neg-in
15×associate-+r-
14×pow-plus tan-quot
13×cube-div
12×pow2 distribute-frac-neg rem-cube-cbrt
11×associate--l-
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 rem-cbrt-cube tanh-def-c

localize2.2s (1.1%)

bsearch384.0ms (0.2%)

end1.0ms (0.0%)

Profiling

Loading profile data...