Date:Tuesday, February 18th, 2020
Commit:5d186d9c on refactor-and-minor
Hostname:warfa with Racket 7.5
Seed:2020049
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

series10.7m (84.7%)

Calls

340 calls:

3.1s
(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)))))
783.0ms
(+ x (/ (- (* (+ (tan y) (tan z)) (cos a)) (* (- 1 (* (tan y) (tan z))) (sin a))) (* (- 1 (* (tan y) (tan z))) (cos a))))
674.0ms
(* (* 1 (/ (- y z) (- (+ t 1.0) z))) (- a x))
647.0ms
(fma (- (* c t) (* i y)) j (- (* (* (cbrt x) (cbrt x)) (* (cbrt x) (- (* y z) (* t a)))) (* b (- (* c z) (* i a)))))

sample51.1s (6.8%)

Algorithm
59×intervals
Results
12.0s262570×body80valid
8.8s21339×body1280valid
8.2s205077×body80nan
3.3s11143×body640valid
2.6s5355×body2560valid
1.0s5132×body320valid
495.0ms16512×pre80true
344.0ms2528×body160valid
56.0ms208×body5120valid

prune38.9s (5.1%)

simplify8.5s (1.1%)

Algorithm
163×egg-herbie

regimes7.2s (1.0%)

Accuracy

Total 29.4b remaining (23.7%)

Threshold costs 4.1b (3.3%)

6.6b8.7%Linear.Matrix:det33 from linear-1.19.1.3
4.2b85.4%NMSE problem 3.2.1
3.1b38.6%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1
2.5b0%cos(2*x)/(cos^2(x)*sin^2(x))
2.2b59.9%Graphics.Rendering.Chart.Backend.Diagrams:calcFontMetrics from Chart-diagrams-1.5.1

rewrite5.9s (0.8%)

Algorithm
105×rewrite-expression-head
Calls

342 calls:

332.0ms
(* (* (* (* (* x 18.0) y) z) (* (cbrt t) (cbrt t))) (cbrt t))
286.0ms
(/ (+ (* (* (cbrt (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616)) (cbrt (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616))) (* (cbrt (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616)) y)) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
283.0ms
(* (* (* x (/ (pow (/ (* (cbrt 1) (cbrt 1)) 1) 1.0) (* (cbrt (exp (fma y (log (/ 1 z)) (fma (log (/ 1 a)) t b)))) (cbrt (exp (fma y (log (/ 1 z)) (fma (log (/ 1 a)) t b))))))) (/ (pow (/ (cbrt 1) a) 1.0) (cbrt (exp (fma y (log (/ 1 z)) (fma (log (/ 1 a)) t b)))))) (/ 1 y))
177.0ms
(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (* (cbrt (+ (* (+ y a) y) b)) (cbrt (+ (* (+ y a) y) b))) (* (cbrt (+ (* (+ y a) y) b)) y)) c) y) i))
131.0ms
(* (- b c) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0))))
Rules
5445×*-un-lft-identity
5340×times-frac
4946×add-sqr-sqrt
4615×add-exp-log
4036×add-cube-cbrt
2276×prod-exp
1527×div-exp
1505×prod-diff
1281×add-cbrt-cube
1041×sqrt-prod
923×pow1
598×distribute-rgt-neg-in
561×pow-exp
556×distribute-lft-neg-in
543×associate-*l*
542×associate-*r*
495×cbrt-unprod
484×add-log-exp
395×distribute-lft-out
373×associate-/r*
352×distribute-lft-out--
344×expm1-log1p-u
342×log1p-expm1-u
324×associate-/l*
289×pow-prod-down
287×difference-of-squares
283×div-inv
278×cbrt-prod
264×pow-to-exp
260×distribute-rgt-in distribute-lft-in
223×1-exp
222×cbrt-undiv
218×log-prod
200×associate-/r/
197×fma-neg
195×flip-- flip3--
184×neg-mul-1
147×unpow-prod-down
136×flip-+ flip3-+
133×unswap-sqr
124×associate-*r/
111×rec-exp
109×exp-sum
107×*-commutative
99×associate-*l/
96×associate-+r+
94×sub-neg
92×frac-times
88×cbrt-div
82×fma-def
80×sqrt-div
71×associate--r+
68×unpow-prod-up
67×associate-/l/ clear-num frac-2neg
65×log-pow
59×pow1/3
56×fma-udef
52×frac-sub
49×tan-quot
47×diff-log
45×swap-sqr
40×sqr-pow
37×exp-prod
29×pow1/2 sqrt-pow1
27×sin-mult
25×rem-sqrt-square neg-sub0 sum-log
24×cos-mult
23×neg-log
22×pow-unpow
18×div-sub associate--l+ log-div
15×distribute-rgt-out-- +-commutative associate--l-
13×associate-+l-
12×rem-exp-log sub-div
10×distribute-neg-in pow-sqr pow-prod-up
8×pow-pow frac-add associate-+l+
6×exp-diff pow-plus associate-+r- pow2
5×inv-pow pow-flip distribute-neg-frac unpow2
4×distribute-frac-neg
2×distribute-neg-out sqrt-undiv un-div-inv log1p-udef unpow1/3 exp-neg log1p-expm1 pow-sub expm1-log1p unsub-neg tan-sum cos-sum expm1-udef exp-to-pow rem-log-exp
1×e-exp-1 distribute-lft-neg-out sqrt-unprod unpow1/2

localize2.5s (0.3%)

bsearch1.2s (0.2%)

end1.0ms (0.0%)