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

series16.2m (63.3%)

Calls

2295 calls:

2.0m
(/ (+ (fma x y (* z (- t a))) (* z (fma (- (cbrt a)) (* (cbrt a) (cbrt a)) (* (cbrt a) (* (cbrt a) (cbrt a)))))) (+ y (* z (- b y))))
2.9s
(fma t (- (* (* (* x 18.0) y) z) (* a 4.0)) (- (* b c) (fma x (* 4.0 i) (* (* j 27.0) k))))
2.9s
(fma t (- (* (* x 18.0) (* y z)) (* a 4.0)) (- (* b c) (fma x (* 4.0 i) (* (* j 27.0) k))))
2.9s
(fma t (- (* x (* (* 18.0 y) z)) (* a 4.0)) (- (* b c) (fma x (* 4.0 i) (* (* j 27.0) k))))
2.9s
(fma t (- (* (* x (* 18.0 y)) z) (* a 4.0)) (- (* b c) (fma x (* 4.0 i) (* (* j 27.0) k))))

prune3.5m (13.5%)

Filtered
87784 candidates to 56253 candidates (64.1%)

sample3.4m (13.3%)

Algorithm
539×intervals
Results
1.2m2586800×body80valid
21.6s525599×body80nan
16.8s46066×body1280valid
9.5s43329×body640valid
3.7s5495×body2560valid
3.6s24669×body320valid
1.3s13619×body160valid
761.0ms1536×body10240exit
101.0ms690×body640nan
86.0ms441×body1280nan
75.0ms32×body5120valid
43.0ms405×body320nan
16.0ms232×body160nan

simplify1.3m (4.9%)

Algorithm
1390×egg-herbie

regimes43.4s (2.8%)

Accuracy

Total 162.4b remaining (32.8%)

Threshold costs 27.1b (5.5%)

15.6b49.3%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
9.0b54.1%Data.Array.Repa.Algorithms.Pixel:doubleRmsOfRGB8 from repa-algorithms-3.4.0.1
7.6b1.6%Linear.Matrix:det33 from linear-1.19.1.3
6.8b-8.1%Data.Colour.Matrix:determinant from colour-2.3.3, A
6.7b8.6%System.Random.MWC.Distributions:truncatedExp from mwc-random-0.13.3.2

rewrite19.4s (1.3%)

Algorithm
852×rewrite-expression-head
Calls

2298 calls:

243.0ms
(- (+ y (/ (pow x 2) y)) (/ (pow z 2) y))
143.0ms
(- x (/ (/ (- y z) (+ (- t z) 1.0)) (/ 1 a)))
118.0ms
(* (/ (fma (sqrt z) y x) (sqrt (sqrt 2.0))) (/ (/ 1.0 (sqrt (sqrt 2.0))) (sqrt 2.0)))
57.0ms
(- (/ (* x y) 2.0) (pow (/ (cbrt z) (cbrt 8.0)) 3))
56.0ms
(- (- 1.0 (/ 1.0 (* x 9.0))) (/ (/ y 3.0) (sqrt x)))
Rules
43674×*-un-lft-identity
42698×times-frac
40098×add-sqr-sqrt
29513×add-cube-cbrt
12801×prod-diff
9253×add-exp-log
7226×add-cbrt-cube
5530×pow1
5190×associate-*r*
4879×cbrt-prod
4603×distribute-lft-out--
4043×sqrt-prod
3821×difference-of-squares
3135×distribute-rgt-in distribute-lft-in
3026×add-log-exp
2963×associate-*l*
2925×distribute-lft-out
2710×associate-/r*
2701×div-inv
2498×prod-exp
2301×log1p-expm1-u expm1-log1p-u
2135×div-exp
2027×cbrt-unprod
1979×unpow-prod-down
1974×associate-/r/
1940×associate-/l*
1587×flip3-- flip--
1512×cbrt-undiv
1398×pow-prod-down
1179×unswap-sqr
1148×log-prod
938×associate-*r/
937×pow1/3
915×cbrt-div
789×flip-+ flip3-+
714×swap-sqr
669×fma-neg
658×cube-prod
656×associate-*l/
652×associate-+l+
631×frac-times
605×*-commutative
595×fma-def
587×fma-udef
524×associate-+r+
491×sub-neg
479×associate--l+
470×clear-num frac-2neg
388×associate-/l/
347×log-pow
329×sqr-pow
291×exp-sum
279×1-exp
272×rec-exp
268×sqrt-pow1
247×sqrt-div
236×pow-prod-up
214×distribute-rgt-neg-in distribute-lft-neg-in
202×diff-log
200×sum-log
196×pow-sqr
168×pow1/2
167×exp-prod
143×unpow2
127×+-commutative
119×pow-exp
117×associate--r+
111×frac-add
97×pow-plus
96×div-sub
92×pow2
90×frac-sub
86×pow-to-exp
85×pow-unpow
74×pow-flip
73×cube-mult unpow3
70×log-div
65×distribute-rgt-out
62×inv-pow
59×un-div-inv rem-sqrt-square
55×pow-pow
45×neg-mul-1
43×rem-log-exp
36×cube-div
34×distribute-rgt-out-- sinh-def
26×distribute-rgt-neg-out
25×associate-+l-
23×cos-sum
22×cosh-def
20×tanh-def
15×rem-cube-cbrt hypot-def
14×rem-exp-log sqrt-unprod distribute-neg-frac
13×associate-+r-
12×unsub-neg
11×hypot-udef expm1-udef
10×sub-div rem-square-sqrt
9×distribute-lft-neg-out expm1-log1p
8×tan-quot
7×log1p-udef log1p-expm1 rem-cbrt-cube associate--l-
6×neg-sub0
5×distribute-lft1-in distribute-rgt1-in count-2 associate--r-
4×exp-diff diff-cos
3×unpow1/3 cos-diff distribute-frac-neg
2×sqrt-pow2 e-exp-1 exp-neg unpow-prod-up neg-log exp-to-pow mul-1-neg
1×difference-cubes pow3 sin-mult

localize9.2s (0.6%)

bsearch4.0s (0.3%)

end5.0ms (0.0%)