Date:Thursday, April 9th, 2020
Commit:e7bf75bc on gh-actions
Hostname:warfa with Racket 7.5
Seed:2020100
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

prune37.4s (32.5%)

Filtered
17762 candidates to 10098 candidates (56.9%)

sample31.5s (27.4%)

Algorithm
73×intervals
Results
9.5s293045×body80valid
5.1s14380×body1280valid
2.5s3816×body2560valid
1.9s9566×body640valid
1.7s16789×body160valid
1.4s100604×pre80true
1.0s2246×body10240exit
713.0ms6863×body320valid
532.0ms19293×body80nan
103.0ms235×body5120valid
3.0ms100×pre80false

series25.4s (22.1%)

Calls

294 calls:

1.2s
(+ (pow y 6.0) (fma (pow y 4.0) 121.0 2.0))
468.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)))))
432.0ms
(- (pow (+ 1.0 (/ i n)) n) 1.0)
407.0ms
(cbrt (pow (- (* 9.0 (pow x 4.0)) (pow y 4.0)) 3))
401.0ms
(- (* 9.0 (pow x 4.0)) (pow y 4.0))

simplify11.1s (9.7%)

Algorithm
176×egg-herbie

rewrite3.8s (3.3%)

Algorithm
106×rewrite-expression-head
Calls

294 calls:

72.0ms
(- (/ 1 (pow x 5)) (/ 1 (pow x 3)))
64.0ms
(* (/ (/ PI 2.0) (+ b a)) (* (/ 1.0 (- b a)) (- (/ 1.0 a) (/ 1.0 b))))
61.0ms
(* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
42.0ms
(* (* (/ (/ PI 2.0) (+ b a)) (/ 1.0 (- b a))) (- (/ 1.0 a) (/ 1.0 b)))
38.0ms
(/ (* (+ (pow a 3) (pow b 3)) (+ (pow a 3) (pow b 3))) (* (+ (* a a) (- (* b b) (* a b))) (+ (* a a) (- (* b b) (* a b)))))
Rules
15071×times-frac
12128×*-un-lft-identity
11028×add-sqr-sqrt
9812×add-cube-cbrt
5683×prod-diff
1588×add-exp-log
1477×distribute-rgt-in distribute-lft-in
1372×unpow-prod-down
1246×add-cbrt-cube
1024×sqrt-prod
938×div-inv
898×distribute-lft-out
689×associate-*r*
673×cbrt-prod
596×associate-*l*
589×pow1
579×add-log-exp
529×associate-/l*
469×prod-exp
462×div-exp
416×difference-of-squares
415×sqr-pow
346×cube-prod
320×cbrt-undiv
311×fma-neg
310×cbrt-unprod
308×associate-/r*
295×expm1-log1p-u
294×log1p-expm1-u
288×associate-/r/
266×distribute-lft-out--
250×flip-+ flip3-+
184×frac-times
180×distribute-rgt-neg-in
159×distribute-lft-neg-in
155×associate-*r/
145×flip3-- flip--
143×unswap-sqr
113×sum-log
109×unpow2
108×pow-prod-down
107×swap-sqr
103×frac-sub
102×associate-*l/
89×unpow3 cube-mult 1-exp
88×fma-def
80×exp-neg
73×sub-neg
70×clear-num frac-2neg
69×neg-sub0
67×log-prod
66×*-commutative
64×associate-/l/
62×sqrt-div
60×exp-diff
58×diff-log
53×neg-mul-1
48×fma-udef
45×rec-exp
38×log-pow
32×pow-exp
31×pow-to-exp
26×associate--r+
24×sqrt-pow1 pow1/2
23×div-sub
22×un-div-inv +-commutative
19×rem-sqrt-square
18×pow-unpow
15×exp-prod
14×log-div
12×pow-plus pow-prod-up pow2 pow-sqr
11×pow-flip pow1/3 cbrt-div
9×associate-+l+ associate-+r+
8×frac-add associate--l- rem-log-exp
7×inv-pow neg-log
6×cube-div pow-pow
5×hypot-def rem-cbrt-cube
4×rem-cube-cbrt distribute-lft-neg-out distribute-frac-neg sum-cubes
3×distribute-rgt-out-- associate--l+
2×hypot-udef associate--r- associate-+l-
1×sqrt-undiv log1p-udef associate-+r- log1p-expm1 sub-div expm1-log1p unsub-neg expm1-udef

regimes3.5s (3.0%)

Accuracy

Total 32.2b remaining (13.7%)

Threshold costs 2.9b (1.2%)

8.8b40%Complex division, imag part
6.8b38.5%Complex division, real part
6.1b66.1%Compound Interest
5.2b81.9%The quadratic formula (r2)
1.3b94.4%The quadratic formula (r1)

localize1.2s (1.1%)

bsearch952.0ms (0.8%)

end1.0ms (0.0%)