Date:Wednesday, March 4th, 2020
Commit:96d2f482 on refactor-and-minor
Hostname:warfa with Racket 7.5
Seed:2020064
Parameters:256 points for 4 iterations
Flags:
setup:simplifyrules:numericsrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:complexrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifyreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:doubleprecision:fallback
+o rules:numerics

Details

sample2.1m (48.0%)

Algorithm
77×intervals
Results
45.7s17175×body10240exit
33.4s43880×body1280valid
11.2s30656×body640valid
6.9s202337×body80valid
4.9s151994×body80nan
4.6s27774×body320valid
3.0s35559×body160valid
2.7s154512×pre80true
762.0ms3004×body2560valid
401.0ms4079×pre10240exit
372.0ms7843×body160nan
112.0ms8340×pre80false
104.0ms286×body5120valid

prune58.0s (22.1%)

Filtered
21467 candidates to 12941 candidates (60.3%)

series41.0s (15.6%)

Calls

486 calls:

734.0ms
(/ (* (pow (/ 1.0 (+ 1.0 (exp (- s)))) c_p) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (- s))))) c_n)) (* (fma (log 0.5) c_p (fma 0.5 (* t c_p) 1)) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (- t))))) c_n)))
666.0ms
(/ (* (fma (log 0.5) c_p (fma 0.5 (* s c_p) 1)) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (- s))))) c_n)) (* (fma (log 0.5) c_p (fma 0.5 (* t c_p) 1)) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (- t))))) c_n)))
607.0ms
(/ (* (pow (/ 1.0 (+ 1.0 (exp (- s)))) c_p) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (- s))))) c_n)) (* (pow (/ 1.0 (+ 1.0 (exp (- t)))) c_p) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (- t))))) c_n)))
464.0ms
(* (hypot (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (- phi1 phi2)) R)
378.0ms
(hypot (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (- phi1 phi2))

simplify13.3s (5.1%)

Algorithm
224×egg-herbie

regimes10.0s (3.8%)

Accuracy

Total 31.3b remaining (24.4%)

Threshold costs 5.1b (3.9%)

5.7b59.5%Cubic critical, narrow range
5.3b24.1%Cubic critical, medium range
4.3b85.9%Cubic critical
2.9b18%Cubic critical, wide range
2.5b78.3%Quotient of products

bsearch6.6s (2.5%)

rewrite5.4s (2.1%)

Algorithm
147×rewrite-expression-head
Calls

486 calls:

170.0ms
(- (/ 0.125 (pow x 3)) (- (/ 0.5 x) (/ (- 0.0625) (pow x 5))))
95.0ms
(log (- (/ 0.125 (pow x 3)) (- (/ 0.5 x) (/ (- 0.0625) (pow x 5)))))
78.0ms
(+ (log 2) (- (- (log x) (/ (/ 0.25 x) x)) (/ 0.09375 (pow x 4))))
57.0ms
(* (/ 1 (/ 3.0 (* a c))) (/ (/ 1 (- (- b) (sqrt (- (* b b) (* (* 3.0 a) c))))) a))
56.0ms
(* (/ 3.0 (/ 3.0 (* a c))) (/ (/ 1 (- (- b) (sqrt (- (* b b) (* (* 3.0 a) c))))) a))
Rules
10613×add-sqr-sqrt
10597×*-un-lft-identity
10104×times-frac
7571×add-cube-cbrt
5325×prod-diff
2927×add-exp-log
1729×add-cbrt-cube
1565×unpow-prod-down
1238×sqrt-prod
1140×difference-of-squares
1107×distribute-rgt-neg-in
1031×pow1
983×div-exp
973×associate--r+
963×associate-*r*
921×prod-exp
918×distribute-lft-neg-in
823×distribute-lft-out--
751×add-log-exp
619×distribute-lft-out
605×sqr-pow
550×div-inv
537×fma-neg
536×associate-/l*
528×associate-/r*
526×log-prod
490×expm1-log1p-u
488×log1p-expm1-u
469×cube-prod
413×cbrt-undiv
402×associate-/r/
389×associate-*l* cbrt-unprod
388×associate-+r+
382×pow-exp
338×cbrt-prod
306×neg-mul-1
285×pow-to-exp
260×flip--
259×flip3--
234×distribute-rgt-in distribute-lft-in
230×associate--l+
220×fma-def
219×log-pow
198×flip-+
197×flip3-+
178×unswap-sqr
145×pow-prod-down
144×unpow2
120×unpow3 cube-mult
118×clear-num frac-2neg
116×exp-sum
112×associate-*r/
110×sub-neg
99×associate-/l/
97×diff-log
93×*-commutative
90×pow-unpow
84×exp-prod
82×sqrt-div
71×1-exp
65×rec-exp
63×div-sub
61×associate-*l/
58×cos-sum
56×frac-times
51×sqrt-pow1 log-div
47×sum-log
45×sin-sum
40×pow1/3 rem-log-exp
39×pow1/2 cbrt-div
35×neg-sub0 pow-pow
32×rem-sqrt-square
31×+-commutative
24×frac-sub
22×swap-sqr
21×associate--l- neg-log
20×fma-udef tan-quot
19×cos-diff
18×sin-mult
17×pow-flip
16×cube-div associate-+l- sin-diff
15×rem-cube-cbrt
14×acos-asin
13×sin-cos-mult associate-+r- distribute-rgt-out
12×frac-add
11×rem-exp-log inv-pow pow-sqr distribute-frac-neg pow-prod-up distribute-rgt-neg-out
8×acos-neg pow-plus cos-mult
7×exp-diff sin-neg pow2 rem-cbrt-cube
6×associate-+l+ associate--r- expm1-udef
5×log1p-udef expm1-log1p
4×log1p-expm1 sub-div asin-acos
3×difference-cubes
2×log1p-def distribute-lft1-in hypot-udef log-rec
1×sqrt-pow2 div0 hypot-def sqrt-unprod

localize2.3s (0.9%)

end1.0ms (0.0%)