Date:Thursday, February 27th, 2020
Commit:17a4275c on refactor-and-minor
Hostname:warfa with Racket 7.5
Seed:2020058
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

sample4.6m (63.3%)

Algorithm
78×intervals
Results
3.3m29477×body10240exit
34.1s43977×body1280valid
11.0s30189×body640valid
7.1s203180×body80valid
4.7s27547×body320valid
4.6s153728×body80nan
3.0s35761×body160valid
2.8s167869×pre80true
831.0ms3201×body2560valid
370.0ms4089×pre10240exit
351.0ms7853×body160nan
93.0ms8253×pre80false
87.0ms262×body5120valid

prune1.1m (14.4%)

Filtered
27227 candidates to 14314 candidates (52.6%)

series53.1s (12.1%)

Calls

498 calls:

9.0s
(* (/ m (/ v (- (pow (sqrt 1.0) 3) (pow (sqrt m) 3)))) (/ (+ (sqrt 1.0) (sqrt m)) (+ (* (sqrt 1.0) (sqrt 1.0)) (+ (* (sqrt m) (sqrt m)) (* (sqrt 1.0) (sqrt m))))))
706.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)))
634.0ms
(/ (+ (sqrt 1.0) (sqrt m)) (+ (* (sqrt 1.0) (sqrt 1.0)) (+ (* (sqrt m) (sqrt m)) (* (sqrt 1.0) (sqrt m)))))
583.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)))
535.0ms
(cbrt (* (/ 1.0 (* 2.0 a)) (+ (- g) (sqrt (- (* g g) (* h h))))))

simplify14.9s (3.4%)

Algorithm
227×egg-herbie

rewrite11.6s (2.6%)

Algorithm
149×rewrite-expression-head
Calls

498 calls:

975.0ms
(* (/ (/ (+ (sqrt 1.0) (sqrt m)) (sqrt (sqrt v))) (sqrt (sqrt v))) (/ m (/ (sqrt v) (- (sqrt 1.0) (sqrt m)))))
430.0ms
(* (/ m (/ v (- (pow (sqrt 1.0) 3) (pow (sqrt m) 3)))) (/ (+ (sqrt 1.0) (sqrt m)) (+ (* (sqrt 1.0) (sqrt 1.0)) (+ (* (sqrt m) (sqrt m)) (* (sqrt 1.0) (sqrt m))))))
372.0ms
(+ (log 2) (- (- (log x) (/ (/ 0.25 x) x)) (/ 0.09375 (pow x 4))))
280.0ms
(* (- (/ (* m (+ (sqrt 1.0) (sqrt m))) (/ v (- (sqrt 1.0) (sqrt m)))) 1.0) (- 1.0 m))
243.0ms
(* (/ 0.5 c) (- (- b) (sqrt (- (* b b) (* (* 4.0 a) c)))))
Rules
18167×times-frac
17397×*-un-lft-identity
15528×add-sqr-sqrt
10537×add-cube-cbrt
7455×sqrt-prod
4679×prod-diff
3104×add-exp-log
2741×unpow-prod-down
2404×cube-prod
2145×cbrt-prod
2115×difference-of-squares
1959×add-cbrt-cube
1787×distribute-lft-out
1626×distribute-lft-out--
1600×associate-*r*
1330×associate-*l*
1057×div-exp
1013×pow1
984×prod-exp
870×associate-/r/
845×associate-/l*
794×associate-/r*
748×add-log-exp
684×div-inv
679×sqr-pow
563×cbrt-undiv
529×distribute-rgt-neg-in
499×log1p-expm1-u expm1-log1p-u
458×cbrt-unprod
434×unpow3 cube-mult
431×pow-exp
408×associate-+r+
384×fma-neg
382×flip--
381×flip3--
374×log-prod
368×distribute-lft-neg-in
342×flip-+
341×flip3-+
299×pow-to-exp
255×unswap-sqr
244×distribute-rgt-in distribute-lft-in
240×log-pow
239×associate--l+
200×fma-def
161×sqrt-div
133×associate-*r/
130×clear-num frac-2neg
121×pow-prod-down
120×neg-mul-1
117×associate-/l/
116×exp-prod
109×cube-div
105×pow-unpow
103×sub-neg
94×frac-times
89×diff-log
88×*-commutative
83×swap-sqr
74×pow-pow
69×exp-sum
68×associate-*l/
66×unpow2
64×cbrt-div
61×sqrt-pow1
57×cos-sum
52×pow1/2 frac-sub
48×pow1/3
47×sum-log
42×1-exp
37×associate-+l+ div-sub log-div
34×rec-exp
30×+-commutative
29×rem-sqrt-square neg-sub0 rem-log-exp
24×tan-quot
23×rem-cube-cbrt sin-sum
19×neg-log associate-+l-
18×sin-diff
17×cos-diff
16×pow-prod-up associate--l-
15×fma-udef frac-add sin-mult
14×sin-cos-mult pow-sqr
13×distribute-rgt-out
11×difference-cubes pow-flip
10×pow2 pow-plus
8×rem-exp-log
7×distribute-frac-neg acos-asin
6×associate-+r- rem-cbrt-cube expm1-udef
5×exp-diff inv-pow cos-mult distribute-rgt-neg-out
4×expm1-log1p asin-acos
3×acos-neg sqrt-undiv log1p-udef associate--r+
2×sin-neg un-div-inv distribute-lft1-in sqrt-unprod exp-neg log1p-expm1 hypot-udef distribute-neg-frac
1×sqrt-pow2 rem-square-sqrt hypot-def

regimes9.4s (2.1%)

Accuracy

Total 28.5b remaining (27%)

Threshold costs 6.7b (6.3%)

5.0b54.5%Quotient of products
4.9b30.7%Cubic critical, medium range
4.5b81.6%Quadratic roots, full range
3.0b13.4%Cubic critical, wide range
2.2b0%(- (/ x0 (- 1 x1)) x0)

bsearch6.4s (1.5%)

localize2.4s (0.5%)

end1.0ms (0.0%)