Date:Tuesday, February 25th, 2020
Commit:7c13946c on findroot
Hostname:warfa with Racket 7.5
Seed:2020056
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 (55.6%)

Calls

2362 calls:

3.7s
(fma (- (* c a) (* y i)) j (- (* x (- (* y z) (* t a))) (+ (* b (- (* c z) (* t i))) (* b (fma (- i) t (* i t))))))
2.6s
(* (cbrt (- (fma (log y) (+ y 0.5) z) y)) (cbrt (- (fma (log y) (+ y 0.5) z) y)))
1.7s
(fma x x (+ (* (* y 4.0) (- t (* z z))) (* (* y 4.0) (fma (- z) z (* z z)))))
1.5s
(* (+ (log (sqrt (+ 1.0 (* y (expm1 z))))) (log (sqrt (+ 1.0 (* y (expm1 z)))))) (/ 1 t))
1.2s
(fma 2.0 (fma x y (* z t)) (* (sqrt 2.0) (* (sqrt 2.0) (* (- (fma c b a)) (* c i)))))

prune4.8m (19.0%)

sample3.4m (13.4%)

Algorithm
538×intervals
Results
1.2m2580706×body80valid
21.3s521585×body80nan
17.8s47223×body1280valid
9.7s43513×body640valid
4.4s5665×body2560valid
3.6s24483×body320valid
1.4s13888×body160valid
753.0ms1508×body10240exit
107.0ms662×body640nan
105.0ms40×body5120valid
90.0ms489×body1280nan
47.0ms449×body320nan
15.0ms222×body160nan

simplify1.4m (5.6%)

Algorithm
1405×egg-herbie

regimes44.2s (2.9%)

Accuracy

Total 181.8b remaining (36.5%)

Threshold costs 24.6b (4.9%)

17.8b18.8%AI.Clustering.Hierarchical.Internal:ward from clustering-0.2.1
13.5b56.7%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
8.8b-4.7%Graphics.Rendering.Chart.Axis.Types:invLinMap from Chart-1.5.3
7.9b21.3%Numeric.Signal:interpolate from hsignal-0.2.7.1
7.1b63.1%Data.Array.Repa.Algorithms.Pixel:doubleRmsOfRGB8 from repa-algorithms-3.4.0.1

rewrite41.0s (2.7%)

Algorithm
868×rewrite-expression-head
Calls

2364 calls:

1.4s
(- (+ (- (* (* (* x 18.0) (* y z)) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i))
1.4s
(- (+ (- (* (* (* x 18.0) (* y z)) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i))
835.0ms
(- (+ (- (* (* x 18.0) (* (* y z) t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i))
784.0ms
(* y (- (/ 1 (/ (- z a) z)) (/ t (- z a))))
609.0ms
(* x (+ (+ (+ (+ y z) z) y) t))
Rules
81444×times-frac
70211×*-un-lft-identity
65383×add-sqr-sqrt
48470×add-cube-cbrt
25288×prod-diff
9687×add-exp-log
7467×add-cbrt-cube
7296×distribute-lft-out--
7167×difference-of-squares
6756×cbrt-prod
6699×distribute-rgt-in distribute-lft-in
5944×associate-*r*
5835×pow1
4497×div-inv
4284×sqrt-prod
4165×associate-/r/
4140×distribute-lft-out
3921×unpow-prod-down
3407×associate-/r*
3238×add-log-exp
3029×associate-*l*
2570×prod-exp
2449×flip-- flip3--
2370×expm1-log1p-u
2365×log1p-expm1-u
2351×div-exp
2219×associate-/l*
1994×cbrt-unprod
1516×fma-neg
1499×cbrt-undiv
1470×pow-prod-down
1462×cube-prod
1152×log-prod
1138×cbrt-div
1131×unswap-sqr
1015×flip-+ flip3-+
955×associate-*r/
917×pow1/3
815×fma-udef
793×frac-times
609×*-commutative
608×associate-*l/
601×sqr-pow
574×swap-sqr
559×fma-def
534×associate-+l+
522×exp-sum
520×associate-+r+
489×associate--l+
488×clear-num frac-2neg
473×sub-neg
471×associate--r+
358×associate-/l/
355×log-pow
349×1-exp
327×sqrt-pow1
310×rec-exp
280×sqrt-div
275×pow-prod-up
251×sum-log
239×diff-log
222×pow-sqr
173×pow1/2
168×pow-exp
163×unpow2
145×+-commutative
126×pow-plus
123×unpow3 cube-mult
117×distribute-lft-neg-in distribute-rgt-neg-in
114×frac-sub
109×pow-unpow
107×pow2
100×pow-to-exp
94×frac-add
92×exp-prod
91×div-sub
82×log-div
78×rem-sqrt-square
71×pow-flip
65×inv-pow
55×rem-log-exp
52×pow-pow
50×distribute-rgt-out--
41×unpow-prod-up
38×un-div-inv
35×distribute-rgt-neg-out associate-+l-
28×distribute-rgt-out
27×cube-div
26×sinh-def
25×rem-cube-cbrt
23×hypot-def cos-sum neg-mul-1
22×tanh-def
19×difference-cubes cosh-def
17×sub-div unsub-neg
16×distribute-lft-neg-out
13×rem-exp-log
12×associate--l- associate-+r-
11×log1p-udef associate--r-
10×unpow1/3
9×sqrt-unprod log1p-expm1 expm1-udef
8×rem-cbrt-cube
7×distribute-lft1-in distribute-rgt1-in expm1-log1p
6×count-2 diff-cos hypot-udef rem-square-sqrt neg-sub0 distribute-neg-frac exp-to-pow
5×tan-quot
4×sin-mult
3×cos-diff neg-log sum-cubes
2×exp-diff sqrt-undiv sqrt-pow2 pow3 distribute-frac-neg
1×cube-unmult pow-sub exp-neg cos-mult mul-1-neg

localize9.5s (0.6%)

bsearch3.8s (0.2%)

end6.0ms (0.0%)