Date:Wednesday, February 26th, 2020
Commit:a943e6d1 on master
Hostname:warfa with Racket 7.5
Seed:2020057
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

prune39.4s (33.3%)

sample31.3s (26.5%)

Algorithm
73×intervals
Results
9.3s292996×body80valid
5.1s14337×body1280valid
2.5s3847×body2560valid
1.9s9538×body640valid
1.7s16878×body160valid
1.3s100584×pre80true
1.0s2203×body10240exit
734.0ms6888×body320valid
536.0ms19466×body80nan
95.0ms227×body5120valid
3.0ms100×pre80false

series27.2s (23.0%)

Calls

290 calls:

1.2s
(+ (pow y 6.0) (fma (pow y 4.0) 121.0 2.0))
584.0ms
(/ 1.0 (+ 2.0 (* (fma (sqrt 2.0) (sqrt 2.0) (- (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))))
498.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)))))
426.0ms
(cbrt (pow (- (* 9.0 (pow x 4.0)) (pow y 4.0)) 3))
423.0ms
(- (* 9.0 (pow x 4.0)) (pow y 4.0))

simplify11.2s (9.5%)

Algorithm
178×egg-herbie

rewrite3.8s (3.2%)

Algorithm
108×rewrite-expression-head
Calls

290 calls:

68.0ms
(- (* (* (cbrt 2.0) (cbrt 2.0)) (cbrt 2.0)) (pow (/ (cbrt (/ 2.0 t)) (cbrt (+ 1.0 (/ 1.0 t)))) 3))
63.0ms
(* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
59.0ms
(* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
49.0ms
(/ (sqrt (* (- 1.0 x) (+ (pow (* 1.0 1.0) 3) (pow (- (* x x) (* 1.0 x)) 3)))) (sqrt (* (+ (pow 1.0 3) (pow x 3)) (+ (* (* 1.0 1.0) (* 1.0 1.0)) (- (* (- (* x x) (* 1.0 x)) (- (* x x) (* 1.0 x))) (* (* 1.0 1.0) (- (* x x) (* 1.0 x))))))))
46.0ms
(/ (* (* PI (/ 1.0 (+ b a))) (- (/ 1.0 a) (/ 1.0 b))) (* 2.0 (- b a)))
Rules
11032×times-frac
10767×*-un-lft-identity
9272×add-sqr-sqrt
8011×add-cube-cbrt
5905×prod-diff
1667×add-exp-log
1264×distribute-rgt-in distribute-lft-in
1262×add-cbrt-cube
1114×distribute-lft-out
924×associate-*r*
797×div-inv
629×pow1
569×add-log-exp
550×prod-exp
474×associate-*l*
447×div-exp
400×difference-of-squares
384×unpow-prod-down
374×cbrt-prod
366×sqrt-prod
353×cbrt-unprod
334×associate-/l*
324×associate-/r/
293×distribute-lft-out-- log1p-expm1-u expm1-log1p-u
291×cbrt-undiv
278×associate-/r*
264×fma-neg
257×flip-+ flip3-+
179×cube-prod
173×unswap-sqr
170×frac-times
168×flip3-- flip--
163×associate-*r/
157×distribute-rgt-neg-in
130×pow-prod-down
128×distribute-lft-neg-in
112×sqr-pow
110×sum-log
100×frac-sub
97×associate-*l/
91×1-exp
87×swap-sqr
78×exp-neg
77×fma-def
76×*-commutative
73×sub-neg
71×associate-/l/
66×clear-num neg-sub0 frac-2neg
59×exp-diff
55×sqrt-div diff-log
53×rec-exp
52×log-prod
44×neg-mul-1
41×fma-udef unpow2
30×pow-to-exp pow-exp
28×un-div-inv sqrt-pow1
26×cbrt-div
25×pow1/2
24×pow-prod-up
22×div-sub
20×+-commutative
19×pow-plus
18×pow-sqr
16×distribute-lft-neg-out frac-add
15×pow2
14×pow1/3
13×rem-sqrt-square log-pow
12×associate-+r+ exp-prod
10×associate-+l+ unpow3 cube-mult
8×associate--l- associate--l+ log-div
7×distribute-rgt-out-- neg-log sum-cubes
6×cube-div pow-unpow inv-pow pow-flip
5×expm1-log1p expm1-udef
4×rem-exp-log distribute-frac-neg rem-log-exp
3×log1p-udef log1p-expm1
2×pow3 hypot-def rem-cbrt-cube associate-+l- associate--r+ pow-pow
1×rem-cube-cbrt sqrt-undiv difference-cubes sqrt-unprod hypot-udef rem-square-sqrt distribute-rgt-out

regimes3.2s (2.7%)

Accuracy

Total 35.9b remaining (15.1%)

Threshold costs 4.3b (1.8%)

8.4b37.8%Complex division, imag part
7.7b30.4%Complex division, real part
6.0b66.2%Compound Interest
5.2b81.8%The quadratic formula (r2)
4.3b83.8%The quadratic formula (r1)

localize1.3s (1.1%)

bsearch786.0ms (0.7%)

end1.0ms (0.0%)