Date:Wednesday, March 4th, 2020
Commit:29625745 on findroot
Hostname:warfa with Racket 7.5
Seed:2020064
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.4m (59.4%)

Calls

2218 calls:

3.9s
(fma (- (* c t) (* i y)) j (- (+ (* x (fma y z (- (* a t)))) (* x (fma (- a) t (* a t)))) (* b (- (* c z) (* i a)))))
3.2s
(fma t (- (* (* (* x 18.0) y) z) (* a 4.0)) (- (* b c) (fma x (* 4.0 i) (* j (* 27.0 k)))))
3.0s
(fma t (- (* (* x (* 18.0 y)) z) (* a 4.0)) (- (* b c) (fma x (* 4.0 i) (* (* j 27.0) k))))
3.0s
(fma t (- (* (* x (* 18.0 y)) z) (* a 4.0)) (- (* b c) (fma x (* 4.0 i) (* (* (* j 27.0) (* (cbrt k) (cbrt k))) (cbrt k)))))
3.0s
(fma t (- (* (* (* x 18.0) y) z) (* a 4.0)) (- (* b c) (fma x (* 4.0 i) (* (* j 27.0) k))))

prune4.0m (16.3%)

sample3.4m (14.0%)

Algorithm
537×intervals
Results
1.2m2581551×body80valid
20.9s508891×body80nan
17.9s47551×body1280valid
9.6s43039×body640valid
4.2s5648×body2560valid
3.7s24937×body320valid
1.4s13704×body160valid
796.0ms1616×body10240exit
117.0ms47×body5120valid
106.0ms701×body640nan
88.0ms468×body1280nan
45.0ms401×body320nan
19.0ms271×body160nan

simplify1.2m (5.1%)

Algorithm
1382×egg-herbie

regimes41.1s (2.8%)

Accuracy

Total 158.1b remaining (33.5%)

Threshold costs 27.2b (5.8%)

12.2b61.1%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
11.4b48.6%AI.Clustering.Hierarchical.Internal:ward from clustering-0.2.1
8.0b-2.8%Linear.Matrix:det33 from linear-1.19.1.3
8.0b27.2%Numeric.Signal:interpolate from hsignal-0.2.7.1
7.2b27.2%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1, J

rewrite19.9s (1.4%)

Algorithm
847×rewrite-expression-head
Calls

2220 calls:

240.0ms
(* (/ (/ (sqrt 1.0) x) (sqrt 9.0)) (/ (/ (sqrt 1.0) 1) (sqrt 9.0)))
108.0ms
(* (cbrt (/ (pow (/ x (+ x y)) x) x)) (cbrt (/ (pow (/ x (+ x y)) x) x)))
94.0ms
(* (/ (/ 1 (/ (+ x y) x)) (+ x y)) (/ y (+ (+ x y) 1.0)))
81.0ms
(log (- (pow 1.0 3) (pow (/ (- x y) (- 1.0 y)) 3)))
73.0ms
(* (/ 1 z) (/ 1 (/ (/ (- y t) 2.0) x)))
Rules
43560×times-frac
42072×*-un-lft-identity
40369×add-sqr-sqrt
28305×add-cube-cbrt
9562×prod-diff
9534×add-exp-log
7399×add-cbrt-cube
5800×cbrt-prod
5488×pow1
4993×associate-*r*
4519×difference-of-squares
4493×distribute-lft-out--
3522×flip-- flip3--
3380×associate-*l*
3230×frac-times
3204×associate-/r*
3108×cbrt-div
3021×add-log-exp
2894×associate-/r/
2573×unpow-prod-down
2535×prod-exp
2533×distribute-rgt-in distribute-lft-in
2531×distribute-lft-out
2509×sqrt-prod
2405×div-exp
2369×div-inv
2311×associate-*r/
2222×expm1-log1p-u
2221×log1p-expm1-u
2191×associate-*l/
2113×associate-/l*
1936×cbrt-unprod
1536×cbrt-undiv
1448×cube-prod
1429×pow-prod-down
1200×fma-def
1195×unswap-sqr
1138×log-prod
951×flip-+ flip3-+
795×fma-neg
776×pow1/3
733×frac-sub
690×swap-sqr
620×associate--l+
586×associate-/l/
585×associate-+l+
581×*-commutative
512×associate-+r+
496×clear-num frac-2neg
451×sqrt-div
449×sqrt-pow1
439×sub-neg
393×fma-udef
383×sqr-pow
354×1-exp
330×rec-exp
312×log-pow
250×sum-log
249×pow-prod-up
192×diff-log
191×pow1/2
185×pow-sqr
153×pow-exp
148×+-commutative
130×unpow3 cube-mult
128×pow-unpow
118×associate--r+ unpow2
114×div-sub
106×exp-sum
98×pow-plus
95×pow-to-exp
94×frac-add
88×pow-flip
77×log-div
76×inv-pow pow2
74×tanh-def
69×distribute-rgt-neg-in
67×distribute-lft-neg-in
66×pow-pow
55×cube-div rem-sqrt-square
49×exp-prod
42×un-div-inv
39×rem-log-exp
31×associate-+l-
30×rem-cube-cbrt
27×distribute-rgt-out
23×cos-sum
22×distribute-rgt-neg-out sinh-def
19×cosh-def
18×neg-mul-1
14×rem-exp-log sqrt-unprod hypot-def distribute-rgt-out--
13×unsub-neg
12×sub-div
10×distribute-lft-neg-out rem-square-sqrt rem-cbrt-cube associate-+r-
9×unpow1/3 hypot-udef associate--l-
8×tan-quot
6×distribute-lft1-in expm1-log1p expm1-udef associate--r-
5×exp-to-pow distribute-rgt1-in count-2 sum-cubes
4×difference-cubes diff-cos neg-log
3×cos-diff neg-sub0 distribute-neg-frac
2×exp-diff log1p-udef pow3 exp-neg log1p-expm1 sqrt-undiv sin-mult cos-mult mul-1-neg
1×e-exp-1 unpow-prod-up

localize9.4s (0.6%)

bsearch4.2s (0.3%)

end5.0ms (0.0%)