Date:Thursday, March 5th, 2020
Commit:a3b4d238 on findroot
Hostname:warfa with Racket 7.5
Seed:2020065
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

series14.1m (56.4%)

Calls

2330 calls:

3.7s
(fma (- (* c a) (* y i)) j (- (- (* x (- (* y z) (* t a))) (* (fma c z (- (* i t))) b)) (* (fma (- i) t (* i t)) b)))
2.9s
(fma t (- (* (* (* x 18.0) y) z) (* a 4.0)) (- (* b c) (fma x (* 4.0 i) (* (* j 27.0) k))))
2.8s
(fma t (- (* (* (* x 18.0) y) z) (* a 4.0)) (- (* b c) (fma x (* 4.0 i) (* j (* 27.0 k)))))
1.5s
(* (/ y a) (fma (- t) 1 t))
1.5s
(sqrt (fma z (/ t 16.0) (fma y x (fma (- (/ a 4.0)) b c))))

prune4.7m (18.7%)

sample3.5m (13.9%)

Algorithm
539×intervals
Results
1.2m2591795×body80valid
21.7s525923×body80nan
17.6s46606×body1280valid
9.7s43418×body640valid
3.9s5672×body2560valid
3.7s24681×body320valid
1.3s13643×body160valid
799.0ms1578×body10240exit
114.0ms45×body5120valid
106.0ms694×body640nan
91.0ms474×body1280nan
49.0ms405×body320nan
16.0ms232×body160nan

simplify1.3m (5.3%)

Algorithm
1405×egg-herbie

regimes41.5s (2.8%)

Accuracy

Total 165.1b remaining (36.1%)

Threshold costs 20.9b (4.6%)

11.9b47.6%AI.Clustering.Hierarchical.Internal:ward from clustering-0.2.1
8.0b31%Numeric.Signal:interpolate from hsignal-0.2.7.1
7.1b5.6%Data.Colour.Matrix:determinant from colour-2.3.3, A
7.0b18.3%Graphics.Rendering.Chart.Axis.Types:linMap from Chart-1.5.3
6.6b12.3%Linear.Matrix:det33 from linear-1.19.1.3

rewrite29.7s (2.0%)

Algorithm
867×rewrite-expression-head
Calls

2332 calls:

7.2s
(* (/ (sqrt 1) (/ 1 (sqrt (sqrt 2.0)))) (/ (/ x (/ (- y t) (sqrt 2.0))) (/ z (sqrt (sqrt 2.0)))))
118.0ms
(* (/ 1 (/ z (sqrt 2.0))) (/ x (/ (- y t) (sqrt 2.0))))
101.0ms
(/ (/ x (/ (- y t) (sqrt 2.0))) (/ z (sqrt (sqrt 2.0))))
92.0ms
(/ (/ (/ x z) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt y) (cbrt y)))) (/ (cbrt 1) (cbrt y)))
88.0ms
(* (+ x y) (/ (/ 1 (sqrt (- 1.0 (/ y z)))) (sqrt (- 1.0 (/ y z)))))
Rules
92111×times-frac
66532×*-un-lft-identity
66229×add-sqr-sqrt
48042×add-cube-cbrt
15013×sqrt-prod
12938×prod-diff
9738×add-exp-log
8246×associate-*r*
8081×cbrt-prod
7715×add-cbrt-cube
6379×difference-of-squares
6275×distribute-lft-out--
5496×pow1
4480×div-inv
3698×associate-*l*
3453×associate-/r*
3222×add-log-exp
3101×distribute-lft-out
2704×associate-/r/
2681×div-exp
2465×distribute-rgt-in distribute-lft-in
2381×flip--
2380×flip3--
2345×prod-exp
2336×log1p-expm1-u
2332×expm1-log1p-u
2309×associate-/l*
1936×cbrt-unprod
1867×unpow-prod-down
1766×cbrt-undiv
1686×associate-*r/
1586×unswap-sqr
1553×associate-*l/
1351×pow-prod-down
1250×cbrt-div
1245×frac-times
1163×cube-prod
1031×flip-+
1030×flip3-+
1022×log-prod
894×fma-neg
815×pow1/3
742×swap-sqr
716×frac-sub
630×fma-def
602×*-commutative
596×associate-/l/
593×sqrt-pow1
540×sqrt-div
520×associate--l+
498×clear-num frac-2neg
471×sub-neg
389×associate-+l+
385×associate-+r+
328×fma-udef
326×sqr-pow
321×1-exp
286×pow1/2
281×rec-exp
262×log-pow
253×sum-log
244×pow-prod-up
232×diff-log
195×exp-sum
193×pow-sqr
178×pow-exp
175×distribute-rgt-neg-in
167×distribute-lft-neg-in
159×+-commutative
136×pow-unpow
133×associate--r+
107×div-sub
100×unpow3 cube-mult
98×pow-to-exp
89×pow-pow
83×frac-add
79×pow2 pow-plus
76×pow-flip
72×rem-sqrt-square
62×inv-pow
59×unpow2
55×neg-mul-1
50×distribute-rgt-out
48×sin-mult
43×log-div
38×distribute-rgt-neg-out
36×tanh-def
35×rem-log-exp
34×exp-prod
33×sinh-def
31×distribute-rgt-out--
29×distribute-neg-frac
28×cos-sum
27×rem-cube-cbrt
26×un-div-inv
25×cube-div
23×cosh-def
19×sqrt-unprod unsub-neg
18×sub-div
16×associate-+l-
15×rem-square-sqrt
14×sum-cubes
13×difference-cubes associate-+r-
12×associate--r-
11×distribute-lft-neg-out hypot-udef
10×associate--l-
9×rem-exp-log rem-cbrt-cube
8×neg-sub0
7×hypot-def tan-quot exp-to-pow
6×pow-div unpow1/3
5×sqrt-pow2 distribute-lft1-in distribute-rgt1-in count-2
4×expm1-udef cos-diff diff-cos expm1-log1p neg-log
3×distribute-frac-neg
2×exp-diff log1p-udef log1p-expm1 cube-neg
1×sqrt-undiv pow3

localize9.3s (0.6%)

bsearch4.5s (0.3%)

end6.0ms (0.0%)