Date:Tuesday, May 26th, 2020
Commit:851a19d5 on master
Hostname:warfa with Racket 7.5
Seed:2020147
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

prune5.0m (57.1%)

Filtered
21266 candidates to 13226 candidates (37.8%)

sample1.7m (19.4%)

Algorithm
77×intervals
Results
36.4s44227×body1280valid
12.1s30350×body640valid
8.1s199531×body80valid
5.9s142752×body80nan
5.3s27474×body320valid
4.3s619×body5120exit
3.5s31503×body160valid
3.4s147207×pre80true
1.9s22052×body80overflowed
977.0ms3109×body2560valid
581.0ms3180×body2560nan
367.0ms2525×body1280nan
353.0ms16616×pre80false
153.0ms1328×body640nan
84.0ms236×body5120valid
57.0ms641×body320nan
20.0ms327×body160nan
1.0ms2×body160overflowed

end1.2m (14.2%)

regimes16.4s (3.1%)

Accuracy

Total 23.3b remaining (24.1%)

Threshold costs 7.1b (7.3%)

4.7b82.8%Cubic critical
4.5b83.3%Quadratic roots, full range
3.7b73.1%Equirectangular approximation to distance on a great circle
2.4b78%Quotient of products
1.0b0%2-ancestry mixing, zero discriminant

simplify13.7s (2.6%)

Algorithm
221×egg-herbie

series9.1s (1.7%)

Calls

504 calls:

225.0ms
(/ (* (pow (/ 1.0 (+ 1.0 (exp (neg s)))) c_p) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (neg s))))) c_n)) (* (+ (* c_p (+ (log 0.5) (* 0.5 t))) 1) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (neg t))))) c_n)))
220.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 (- (+ (* 0.020833333333333336 (pow t 3)) 0.5) (* 0.25 t)) c_n)))
197.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)))
140.0ms
(sqrt (+ (* (* (- lambda1 lambda2) (- lambda1 lambda2)) (* (* (cbrt (* (cos (/ (+ phi1 phi2) 2.0)) (cos (/ (+ phi1 phi2) 2.0)))) (cbrt (* (cos (/ (+ phi1 phi2) 2.0)) (cos (/ (+ phi1 phi2) 2.0))))) (cbrt (* (cos (/ (+ phi1 phi2) 2.0)) (cos (/ (+ phi1 phi2) 2.0)))))) (* (- 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))))

rewrite6.3s (1.2%)

Algorithm
144×rewrite-expression-head
Calls

504 calls:

182.0ms
(/ (/ (/ 1 (/ 2.0 4.0)) (/ 1 c)) (- (neg b) (sqrt (- (* b b) (* (* 4.0 a) c)))))
106.0ms
(- (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))
70.0ms
(- (/ 0.125 (pow x 3)) (- (/ 0.5 x) (/ (neg 0.0625) (pow x 5))))
68.0ms
(log (- (/ 0.125 (pow x 3)) (- (/ 0.5 x) (/ (neg 0.0625) (pow x 5)))))
Rules
24942×times-frac
15109×*-un-lft-identity
14763×add-sqr-sqrt
10322×add-cube-cbrt
3422×add-exp-log
1983×difference-of-squares
1916×distribute-lft-out--
1774×frac-times
1750×add-cbrt-cube
1495×flip--
1494×flip3--
1245×associate-/l*
1233×sqrt-prod
1224×div-exp
1208×associate-*l/
1181×prod-exp
1141×div-inv
1105×associate-*r*
986×pow1
945×cos-mult
910×sqrt-div
902×cbrt-div
853×frac-add
821×add-log-exp
810×associate-*r/
808×unpow-prod-down
798×distribute-rgt-neg-in
633×pow-exp
551×cube-prod
466×associate-/r*
461×associate-*l*
454×pow-to-exp
451×distribute-lft-out
419×cbrt-undiv
397×associate-/r/
372×cbrt-unprod
366×cbrt-prod
199×sqr-pow
194×unswap-sqr
185×flip-+
184×flip3-+
182×log-prod
173×pow-prod-down
127×associate-/l/
126×sub-neg
114×clear-num frac-2neg
110×diff-log
108×*-commutative
85×swap-sqr
75×log-pow
63×pow-unpow exp-prod
62×1-exp
60×unpow3 pow1/3 cube-mult rec-exp sum-log
46×distribute-rgt-in distribute-lft-in
44×div-sub
42×pow-pow
38×+-commutative
36×pow1/2 distribute-lft-neg-in sqrt-pow1
33×neg-sub0
31×rem-sqrt-square log-div
29×frac-sub unpow2
28×tan-quot
24×associate--l+
22×cos-diff neg-log
21×exp-sum
20×cube-div
18×rem-cube-cbrt pow-sqr pow-prod-up
17×associate-+l-
16×cos-sum associate--l- associate-+r+ rem-log-exp
15×sin-diff
14×pow-plus
13×pow2 distribute-rgt-out sin-mult
12×associate-+r-
11×sin-cos-mult distribute-frac-neg acos-asin neg-mul-1
10×distribute-rgt-neg-out
7×rem-cbrt-cube associate--r+
6×exp-diff acos-neg associate-+l+
5×difference-cubes rem-exp-log sin-sum
4×pow-flip
3×un-div-inv inv-pow unsub-neg asin-acos associate--r-
2×distribute-lft1-in distribute-neg-frac
1×distribute-neg-out sqrt-unprod exp-neg tanh-undef sqr-cos tanh-def mul-1-neg

localize2.5s (0.5%)

bsearch775.0ms (0.1%)

Profiling

Loading profile data...