Date:Tuesday, March 31st, 2020
Commit:2cac45bc on simpler-alts
Hostname:warfa with Racket 7.5
Seed:2020091
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.0m (48.5%)

Algorithm
77×intervals
Results
40.6s16814×body10240exit
34.1s43997×body1280valid
10.9s30283×body640valid
7.1s202662×body80valid
4.8s151042×body80nan
4.5s27361×body320valid
3.0s35994×body160valid
2.7s157840×pre80true
781.0ms3015×body2560valid
355.0ms7635×body160nan
218.0ms16403×pre80false
65.0ms229×body5120valid

series43.2s (17.4%)

Calls

502 calls:

561.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)))
471.0ms
(log (expm1 (log1p (+ x (sqrt (- (* x x) 1.0))))))
441.0ms
(* (hypot (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (- phi1 phi2)) R)
415.0ms
(log (fma (sqrt (- x (sqrt 1.0))) (sqrt (+ x (sqrt 1.0))) x))
358.0ms
(hypot (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (- phi1 phi2))

prune43.0s (17.3%)

Filtered
21166 candidates to 11837 candidates (55.9%)

simplify14.2s (5.7%)

Algorithm
227×egg-herbie

regimes10.4s (4.2%)

Accuracy

Total 36.3b remaining (27.1%)

Threshold costs 6.5b (4.8%)

6.0b56.3%Cubic critical, narrow range
5.0b28.1%Cubic critical, medium range
4.8b83%Cubic critical
4.8b83.2%Quadratic roots, full range
3.7b0%Cubic critical, wide range

bsearch10.1s (4.1%)

rewrite5.1s (2.1%)

Algorithm
150×rewrite-expression-head
Calls

502 calls:

108.0ms
(- (/ x (+ x 1.0)) (/ 1 (/ (- x 1.0) (+ x 1.0))))
86.0ms
(/ (- (pow (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 3) (pow 1.0 3)) (+ (* (/ 2.0 (+ (exp (* -2.0 x)) 1.0)) (+ (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0)) (* 1.0 1.0)))
56.0ms
(* 1/6 (/ (pow x 3) (pow (sqrt 1.0) 3)))
51.0ms
(+ (log (/ 1 (sqrt x))) (log (+ (/ 1.0 (sqrt x)) (/ (sqrt (- 1.0 (* x x))) (sqrt x)))))
48.0ms
(- (pow (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 3) (pow 1.0 3))
Rules
12502×*-un-lft-identity
10587×times-frac
10028×add-sqr-sqrt
7485×add-cube-cbrt
5245×prod-diff
2503×add-exp-log
1642×add-cbrt-cube
1597×distribute-lft-out
1226×unpow-prod-down
1105×sqrt-prod
1079×cube-prod
1019×associate-*r*
996×difference-of-squares
987×pow1
923×associate-/r/
885×distribute-lft-out--
771×prod-exp
762×div-exp
752×add-log-exp
668×div-inv
572×cbrt-prod
537×associate-*l*
512×associate-/r*
508×log1p-expm1-u
506×expm1-log1p-u
474×associate-/l*
459×flip-+
458×flip3-+
408×fma-neg
380×cbrt-undiv
355×cbrt-unprod
305×distribute-rgt-neg-in
300×flip--
299×flip3--
296×pow-exp
277×sqr-pow
261×distribute-rgt-in distribute-lft-in
252×fma-def
230×unswap-sqr
221×distribute-lft-neg-in
211×pow-to-exp
178×swap-sqr
157×unpow3 cube-mult
153×log-prod
148×associate-*r/
145×pow-prod-down
116×sqrt-div
115×clear-num frac-times frac-2neg
99×associate-*l/
98×*-commutative
95×sub-neg
94×associate-/l/
89×sin-sum log-pow
84×pow1/3
82×cbrt-div
80×cos-sum
72×diff-log
71×neg-mul-1
62×pow1/2 sqrt-pow1
57×sum-log
56×1-exp
48×div-sub
45×pow-prod-up rec-exp
43×log-div
42×+-commutative
34×pow-unpow rem-sqrt-square
33×pow-sqr
26×unpow2
25×associate-+l+ exp-prod
23×pow-plus neg-sub0 frac-sub
22×associate-+r+ tan-quot
21×rem-log-exp
20×fma-udef sin-mult associate-+l- sin-diff
19×pow2
16×pow-flip associate--l+
15×cos-diff neg-log expm1-udef
14×distribute-rgt-out
13×cube-div sin-cos-mult pow-pow
12×expm1-log1p
11×rem-cube-cbrt inv-pow frac-add acos-asin
9×log1p-udef distribute-frac-neg associate--r+
7×associate--l- log1p-expm1 associate-+r- rem-cbrt-cube
6×rem-exp-log difference-cubes
5×acos-neg hypot-def exp-to-pow
4×un-div-inv asin-acos cos-mult exp-sum
3×sqrt-unprod unpow-prod-up distribute-rgt-neg-out
2×exp-diff distribute-lft1-in pow3 hypot-udef rem-square-sqrt associate--r- distribute-neg-frac
1×sqrt-undiv e-exp-1

localize2.1s (0.9%)

end1.0ms (0.0%)