Date:Sunday, March 15th, 2020
Commit:1a959946 on master
Hostname:warfa with Racket 7.5
Seed:2020075
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

prune45.1s (35.7%)

Filtered
18119 candidates to 10128 candidates (55.9%)

sample33.0s (26.1%)

Algorithm
73×intervals
Results
10.0s293487×body80valid
5.2s14169×body1280valid
2.7s3940×body2560valid
2.0s9513×body640valid
1.8s16882×body160valid
1.4s100664×pre80true
1.1s2288×body10240exit
785.0ms6916×body320valid
563.0ms19541×body80nan
98.0ms244×body5120valid
3.0ms100×pre80false

series26.7s (21.1%)

Calls

278 calls:

1.2s
(+ (pow y 6.0) (fma (pow y 4.0) 121.0 2.0))
951.0ms
(/ (- (pow (pow x 4.0) 3) (pow (pow y 4.0) 3)) (fma (pow y 4.0) (+ (pow x 4.0) (pow y 4.0)) (pow x (* 2 4.0))))
948.0ms
(fma (sqrt (pow x 4.0)) (sqrt (pow x 4.0)) (- (pow y 4.0)))
492.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)))))
421.0ms
(cbrt (pow (- (* 9.0 (pow x 4.0)) (pow y 4.0)) 3))

simplify11.7s (9.3%)

Algorithm
173×egg-herbie

rewrite4.1s (3.2%)

Algorithm
103×rewrite-expression-head
Calls

278 calls:

211.0ms
(- 2.0 (/ (/ (* (cbrt 2.0) (cbrt 2.0)) 1) (/ (+ 1.0 (/ 1.0 t)) (/ (cbrt 2.0) t))))
67.0ms
(- (/ 1 (pow x 5)) (/ 1 (pow x 3)))
61.0ms
(* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
60.0ms
(/ (- (pow (pow x 4.0) 3) (pow (pow y 4.0) 3)) (fma (pow y 4.0) (+ (pow x 4.0) (pow y 4.0)) (pow x (* 2 4.0))))
56.0ms
(/ (* (* (/ (/ PI 2.0) (+ b a)) 1.0) (- (/ 1.0 a) (/ 1.0 b))) (- b a))
Rules
17199×times-frac
13774×*-un-lft-identity
12465×add-sqr-sqrt
10534×add-cube-cbrt
7120×prod-diff
2047×unpow-prod-down
1491×add-exp-log
1287×distribute-lft-out
1099×add-cbrt-cube
1062×div-inv
930×cbrt-prod
916×sqrt-prod
864×cube-prod
830×distribute-rgt-in distribute-lft-in
791×difference-of-squares
778×associate-*r*
768×sqr-pow
625×pow1
601×associate-*l*
561×add-log-exp
500×prod-exp
491×associate-/l*
381×div-exp
340×distribute-lft-out--
305×associate-/r/
292×cbrt-unprod
278×log1p-expm1-u expm1-log1p-u
263×fma-neg
256×associate-/r*
243×cbrt-undiv
229×flip-+ flip3-+
211×unswap-sqr
188×distribute-rgt-neg-in
171×distribute-lft-neg-in
160×frac-times
151×flip-- flip3--
149×swap-sqr
131×associate-*r/
129×unpow3 cube-mult
128×pow-prod-down
120×sum-log
112×fma-def
106×frac-sub
100×associate-*l/
90×1-exp
87×sqrt-div
85×sqrt-pow1
83×associate--l+
78×exp-neg
74×*-commutative
71×unpow2
70×neg-sub0
69×sub-neg
63×pow1/2
62×associate-/l/
59×exp-diff
57×clear-num frac-2neg
55×neg-mul-1
47×diff-log
45×rec-exp
44×pow-exp
40×fma-udef pow-to-exp
38×log-prod
34×pow-prod-up
32×rem-sqrt-square
27×+-commutative
26×un-div-inv
24×pow-sqr
22×div-sub
18×exp-prod
15×pow1/3
13×cbrt-div pow2 pow-plus
12×pow-unpow associate-+l+ frac-add
11×log-pow associate-+r+
10×neg-log associate--r+
7×pow-flip
6×cube-div inv-pow associate--l- distribute-frac-neg distribute-neg-frac
5×difference-cubes hypot-def
4×rem-exp-log sqrt-unprod rem-square-sqrt rem-cbrt-cube associate-+l- pow-pow log-div
3×rem-cube-cbrt distribute-lft-neg-out hypot-udef
2×associate-+r- unsub-neg distribute-rgt-neg-out rem-log-exp
1×distribute-rgt-out associate--r-

regimes3.3s (2.6%)

Accuracy

Total 38.5b remaining (16%)

Threshold costs 2.4b (1%)

8.0b36.6%Complex division, imag part
7.4b34%Complex division, real part
5.9b70.2%Kahan p9 Example
5.5b69.2%Compound Interest
4.3b85%The quadratic formula (r2)

localize1.3s (1.0%)

bsearch1.2s (0.9%)

end1.0ms (0.0%)