Date:Wednesday, April 1st, 2020
Commit:71d48594 on master
Hostname:warfa with Racket 7.5
Seed:2020092
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

prune42.1s (33.8%)

Filtered
18649 candidates to 10807 candidates (57.9%)

sample32.3s (26.0%)

Algorithm
73×intervals
Results
9.7s292495×body80valid
5.2s14011×body1280valid
2.5s3754×body2560valid
2.0s9739×body640valid
1.7s16818×body160valid
1.6s100625×pre80true
1.0s2171×body10240exit
779.0ms7074×body320valid
546.0ms19206×body80nan
66.0ms189×body5120valid
3.0ms100×pre80false

series28.8s (23.2%)

Calls

303 calls:

1.2s
(+ (pow y 6.0) (fma (pow y 4.0) 121.0 2.0))
739.0ms
(cbrt (fma i 1.0 (- (fma 0.5 (pow i 2) (* (log 1.0) n)) (* 0.5 (* (pow i 2) (log 1.0))))))
717.0ms
(cbrt (fma i 1.0 (- (fma 0.5 (pow i 2) (* (log 1.0) n)) (* 0.5 (* (pow i 2) (log 1.0))))))
713.0ms
(cbrt (fma i 1.0 (- (fma 0.5 (pow i 2) (* (log 1.0) n)) (* 0.5 (* (pow i 2) (log 1.0))))))
464.0ms
(fma x (* (- (* (* (* (* 11.0 x) x) y) y) (+ (pow y 6.0) (fma (pow y 4.0) 121.0 2.0))) x) (+ (* 333.75 (pow y 6.0)) (fma (pow y 8.0) 5.5 (/ x (* 2.0 y)))))

simplify11.3s (9.1%)

Algorithm
178×egg-herbie

rewrite4.1s (3.3%)

Algorithm
108×rewrite-expression-head
Calls

303 calls:

83.0ms
(* (/ 1 (/ (+ b a) (/ PI 2.0))) (* (/ 1.0 (- b a)) (- (/ 1.0 a) (/ 1.0 b))))
82.0ms
(* (/ (/ PI 2.0) (+ b a)) (* (/ 1.0 (- b a)) (- (/ 1.0 a) (/ 1.0 b))))
64.0ms
(* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
57.0ms
(* (* (/ (/ PI 2.0) (+ b a)) (/ 1.0 (- b a))) (- (/ 1.0 a) (/ 1.0 b)))
46.0ms
(* (/ (/ PI 2.0) (+ b a)) (/ 1.0 (- b a)))
Rules
14758×times-frac
13954×*-un-lft-identity
11884×add-sqr-sqrt
10580×add-cube-cbrt
7789×prod-diff
2263×distribute-rgt-in distribute-lft-in
1755×add-exp-log
1381×distribute-lft-out
1269×add-cbrt-cube
1060×div-inv
1004×sqrt-prod
777×associate-*l*
717×associate-*r*
614×add-log-exp
610×pow1
561×prod-exp
513×div-exp
457×difference-of-squares
362×associate-/r*
351×cbrt-unprod
347×associate-/r/
334×distribute-lft-out--
310×cbrt-undiv
306×log1p-expm1-u expm1-log1p-u
291×associate-/l* unpow-prod-down
287×fma-neg
249×distribute-rgt-neg-in
247×flip-+ flip3-+
192×distribute-lft-neg-in
187×flip-- flip3--
185×frac-times
184×cbrt-prod
154×unswap-sqr
152×associate-*r/
130×sqr-pow
116×pow-prod-down
115×sum-log
102×associate-*l/
101×frac-sub
95×1-exp
93×swap-sqr
87×sub-neg
82×fma-def
80×exp-neg
71×neg-sub0
69×*-commutative diff-log
64×neg-mul-1 rec-exp
63×unpow2
62×exp-diff
60×associate-/l/
59×clear-num frac-2neg
54×log-prod
49×log-pow cube-prod
45×fma-udef
38×sqrt-div
29×pow-to-exp pow-exp
28×pow1/3
25×associate-+r+ exp-prod
24×un-div-inv +-commutative cbrt-div
20×div-sub
15×pow-unpow rem-sqrt-square
14×pow1/2 pow-prod-up frac-add pow-sqr sqrt-pow1
13×associate--l-
12×pow2 unpow3 cube-mult pow-plus log-div
11×exp-sum
9×neg-log associate-+l+
8×cube-div
7×associate--l+ associate--r+
6×inv-pow distribute-lft-neg-out expm1-log1p pow-flip expm1-udef
5×log1p-udef log1p-expm1 pow-pow
4×distribute-frac-neg rem-cbrt-cube rem-log-exp
3×rem-cube-cbrt
2×associate-+r- hypot-def associate--r- associate-+l-
1×sqrt-undiv hypot-udef unsub-neg distribute-rgt-out

regimes3.5s (2.8%)

Accuracy

Total 35.4b remaining (15%)

Threshold costs 2.8b (1.2%)

10.2b16.5%Complex division, imag part
7.1b35.1%Complex division, real part
7.1b61.3%Compound Interest
5.1b81.8%The quadratic formula (r2)
1.6b93.2%The quadratic formula (r1)

localize1.4s (1.1%)

bsearch877.0ms (0.7%)

end1.0ms (0.0%)