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

series10.8m (85.2%)

Calls

331 calls:

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) 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) k))))
673.0ms
(pow (- (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (tan a)) 3)

sample49.8s (6.6%)

Algorithm
59×intervals
Results
12.2s263454×body80valid
8.9s208147×body80nan
7.5s21222×body1280valid
2.7s11064×body640valid
2.7s5258×body2560valid
839.0ms5060×body320valid
431.0ms16512×pre80true
303.0ms2615×body160valid
49.0ms186×body5120valid

prune39.1s (5.1%)

Filtered
15375 candidates to 8854 candidates (57.6%)

simplify8.9s (1.2%)

Algorithm
159×egg-herbie

regimes7.4s (1.0%)

Accuracy

Total 33.6b remaining (25.9%)

Threshold costs 3.4b (2.6%)

7.6b1.6%Linear.Matrix:det33 from linear-1.19.1.3
4.8b0%sqrt sqr
3.9b85.8%NMSE problem 3.2.1
2.4b0%Numeric.SpecFunctions:invIncompleteBetaWorker from math-functions-0.1.5.2
2.3b0%cos(2*x)/(cos^2(x)*sin^2(x))

rewrite3.4s (0.4%)

Algorithm
101×rewrite-expression-head
Calls

334 calls:

44.0ms
(/ (cbrt (pow (/ 1 (- (acos a))) 3)) (/ 1 a))
39.0ms
(/ (/ (pow (/ 1 a) 1.0) (exp (fma y (log (/ 1 z)) (fma (log (/ 1 a)) t b)))) (/ y x))
35.0ms
(+ (- (/ 1 (/ (tan B) (* x 1.0)))) (/ 1.0 (sin B)))
30.0ms
(/ (* (* x (sqrt (/ (pow (/ 1 a) 1.0) (exp (fma y (log (/ 1 z)) (fma (log (/ 1 a)) t b)))))) (sqrt (/ (pow (/ 1 a) 1.0) (exp (fma y (log (/ 1 z)) (fma (log (/ 1 a)) t b)))))) y)
28.0ms
(- (/ 1 (/ y (+ x 4.0))) (* (/ x y) z))
Rules
11678×times-frac
8153×*-un-lft-identity
7687×add-sqr-sqrt
6619×add-cube-cbrt
1906×add-exp-log
1636×unpow-prod-down
1520×cbrt-prod
1344×prod-diff
1081×add-cbrt-cube
944×distribute-rgt-neg-in
846×distribute-lft-neg-in
767×prod-exp
738×cube-prod
732×pow1
585×div-inv
582×sqrt-prod
506×associate-*r*
496×add-log-exp
469×associate-/r*
466×associate-/l*
458×distribute-lft-out--
435×div-exp
417×associate-*l*
398×difference-of-squares
368×distribute-lft-out
339×exp-sum
335×log1p-expm1-u
334×expm1-log1p-u
305×fma-udef
289×fma-neg
268×neg-mul-1
258×cbrt-unprod
255×associate-/r/
215×log-prod
210×distribute-rgt-in distribute-lft-in
204×cbrt-undiv
195×flip-- flip3--
173×pow-exp
157×fma-def
153×pow-to-exp
134×pow-prod-down
130×sqr-pow
118×unswap-sqr
115×associate-+r+
111×log-pow
110×flip-+ flip3-+
94×associate--r+
90×*-commutative
77×associate-+l+
76×sub-neg
74×clear-num frac-2neg
73×associate-*r/
69×associate-*l/
65×1-exp
60×sqrt-div
59×rec-exp
58×diff-log
53×frac-sub
50×associate-/l/
46×cbrt-div
44×frac-times
43×pow1/3
34×associate--l+
33×sum-log
32×tan-quot
31×pow-unpow
28×sin-mult
26×unpow2 sqrt-pow1
25×pow1/2
24×unpow3 cube-mult
23×exp-prod cos-mult
22×neg-sub0 swap-sqr
20×rem-sqrt-square
19×neg-log +-commutative
18×associate-+l-
16×associate--l-
15×frac-add
14×cube-div pow-pow log-div
13×pow-flip
12×inv-pow
10×div-sub
9×rem-cube-cbrt sub-div
6×rem-exp-log distribute-neg-frac
5×pow-sqr pow-prod-up rem-cbrt-cube
4×exp-diff
3×un-div-inv pow2 pow-plus rem-log-exp
2×log1p-udef cos-sum associate-+r- log1p-expm1 distribute-frac-neg tan-sum
1×distribute-lft-neg-out expm1-log1p sqrt-unprod expm1-udef

localize2.5s (0.3%)

bsearch1.5s (0.2%)

end1.0ms (0.0%)