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

prune32.5s (29.4%)

Filtered
15497 candidates to 8679 candidates (56.0%)

sample31.9s (28.9%)

Algorithm
73×intervals
Results
9.4s292715×body80valid
5.1s14373×body1280valid
2.6s3848×body2560valid
1.9s9557×body640valid
1.7s16810×body160valid
1.5s100608×pre80true
989.0ms2086×body10240exit
728.0ms6886×body320valid
545.0ms19334×body80nan
103.0ms243×body5120valid
3.0ms100×pre80false

series25.9s (23.4%)

Calls

295 calls:

1.2s
(+ (pow y 6.0) (fma (pow y 4.0) 121.0 2.0))
905.0ms
(- 1.0 (/ 1.0 (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (fma (sqrt 2.0) (sqrt 2.0) (- (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))))))
477.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)))))
419.0ms
(cbrt (pow (- (* 9.0 (pow x 4.0)) (pow y 4.0)) 3))
412.0ms
(- (* 9.0 (pow x 4.0)) (pow y 4.0))

simplify10.2s (9.2%)

Algorithm
177×egg-herbie

rewrite4.0s (3.6%)

Algorithm
107×rewrite-expression-head
Calls

295 calls:

69.0ms
(* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
56.0ms
(* (/ 1 (pow (cbrt i) 2)) (/ (fma i 1.0 (- (fma 0.5 (pow i 2) (* (log 1.0) n)) (* 0.5 (* (pow i 2) (log 1.0))))) (/ (cbrt i) n)))
52.0ms
(/ (* (* (/ (/ PI 2.0) (+ b a)) 1.0) (- (/ 1.0 a) (/ 1.0 b))) (- b a))
46.0ms
(* (* (/ (/ PI 2.0) (+ b a)) 1.0) (- (/ 1.0 a) (/ 1.0 b)))
45.0ms
(* (* (/ (/ PI 2.0) (+ b a)) (/ 1.0 (- b a))) (- (/ 1.0 a) (/ 1.0 b)))
Rules
10489×times-frac
10426×*-un-lft-identity
8920×add-sqr-sqrt
7461×add-cube-cbrt
5248×prod-diff
1608×add-exp-log
1216×add-cbrt-cube
1180×distribute-lft-out
746×div-inv
732×distribute-rgt-in distribute-lft-in
725×associate-*r*
646×pow1
600×add-log-exp
508×prod-exp
485×associate-*l*
442×difference-of-squares
436×div-exp
396×sqrt-prod
385×associate-/r*
339×distribute-lft-out--
338×associate-/r/
322×cbrt-unprod
321×associate-/l*
309×cbrt-prod
295×log1p-expm1-u expm1-log1p-u
289×cbrt-undiv
284×unpow-prod-down
237×flip-+ flip3-+
233×fma-neg
180×unswap-sqr
136×pow-prod-down
131×flip3-- flip--
128×cube-prod
120×sum-log
98×fma-def
95×swap-sqr associate-*r/
93×frac-times 1-exp
92×distribute-rgt-neg-in
91×sqr-pow
82×distribute-lft-neg-in
75×associate-/l/
72×associate-*l/
71×clear-num *-commutative sub-neg frac-2neg
62×log-prod
58×diff-log
56×rec-exp
48×fma-udef
47×sqrt-div
28×neg-mul-1
26×log-pow +-commutative
22×unpow2
20×pow-to-exp pow-exp
19×pow-prod-up sqrt-pow1
18×pow-plus
17×pow-flip pow1/3 div-sub frac-sub
16×log-div
15×pow1/2 pow-sqr
14×pow2 unpow3 cube-mult
13×rem-sqrt-square associate-+r+
11×exp-prod cbrt-div
10×inv-pow rem-log-exp
9×neg-sub0 associate--l+
8×associate-+l+ frac-add
7×neg-log distribute-lft-neg-out
6×cube-div rem-cbrt-cube
5×un-div-inv associate--l-
4×distribute-frac-neg sum-cubes
3×pow-unpow associate-+r- rem-exp-log associate-+l- exp-to-pow
2×unsub-neg hypot-def associate--r+
1×exp-diff sqrt-undiv pow3 exp-neg pow-pow

regimes3.8s (3.4%)

Accuracy

Total 35.3b remaining (14.8%)

Threshold costs 2.5b (1%)

8.3b30.9%Complex division, imag part
6.9b37.6%Complex division, real part
6.3b65%Compound Interest
4.8b83.2%The quadratic formula (r1)
4.5b83.6%The quadratic formula (r2)

localize1.4s (1.2%)

bsearch851.0ms (0.8%)

end1.0ms (0.0%)