Date:Thursday, March 19th, 2020
Commit:2b8af9a1 on simpler-alts
Hostname:warfa with Racket 7.5
Seed:2020079
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.1%)

Calls

347 calls:

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) (* (* (cbrt j) (cbrt j)) (* (cbrt 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)))))
567.0ms
(/ (* (- 1 (* (tan y) (tan z))) (cos a)) (- (* (+ (tan y) (tan z)) (cos a)) (* (- 1 (* (tan y) (tan z))) (sin a))))

sample50.2s (6.6%)

Algorithm
59×intervals
Results
12.4s262935×body80valid
9.0s208571×body80nan
7.3s21320×body1280valid
2.7s10951×body640valid
2.7s5211×body2560valid
884.0ms5130×body320valid
429.0ms16512×pre80true
313.0ms2600×body160valid
58.0ms212×body5120valid

prune40.0s (5.3%)

Filtered
12797 candidates to 8530 candidates (66.7%)

simplify8.7s (1.1%)

Algorithm
162×egg-herbie

regimes7.4s (1.0%)

Accuracy

Total 36.7b remaining (28%)

Threshold costs 2.7b (2%)

7.8b5.5%Linear.Matrix:det33 from linear-1.19.1.3
5.1b82.2%The quadratic formula (r1)
4.9b82.3%NMSE problem 3.2.1
2.3b0%cos(2*x)/(cos^2(x)*sin^2(x))
2.3b38%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1

rewrite3.1s (0.4%)

Algorithm
104×rewrite-expression-head
Calls

349 calls:

82.0ms
(/ (* x (/ (pow (sqrt (/ 1 a)) 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))))))) (/ y (/ (pow (sqrt (/ 1 a)) 1.0) (cbrt (exp (fma y (log (/ 1 z)) (fma (log (/ 1 a)) t b)))))))
31.0ms
(/ (* (* x (/ (pow (sqrt (/ 1 a)) 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 (sqrt (/ 1 a)) 1.0) (cbrt (exp (fma y (log (/ 1 z)) (fma (log (/ 1 a)) t b)))))) y)
31.0ms
(* (exp (* (- (sqrt 1.0)) (- (sqrt 1.0) x))) (pow (exp (- x)) (- (sqrt 1.0) x)))
26.0ms
(* (/ (- y z) (- (+ t 1.0) z)) (- a x))
25.0ms
(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
Rules
4623×*-un-lft-identity
4612×times-frac
4461×add-sqr-sqrt
3527×add-cube-cbrt
2092×add-exp-log
1334×sqrt-prod
1287×prod-diff
1111×add-cbrt-cube
967×cbrt-prod
938×unpow-prod-down
904×prod-exp
792×pow1
699×associate-/r*
623×associate-*r*
617×associate-*l*
547×distribute-rgt-neg-in
516×add-log-exp
503×distribute-lft-neg-in
474×div-exp
349×log1p-expm1-u expm1-log1p-u
313×distribute-lft-out--
309×cbrt-unprod
287×distribute-lft-out
278×distribute-rgt-in distribute-lft-in
274×difference-of-squares
236×exp-sum
221×flip-- flip3--
206×cbrt-undiv
204×associate-/l*
194×div-inv
193×pow-exp
186×fma-neg
185×pow-to-exp
171×fma-udef
162×associate-*l/
157×unswap-sqr
156×pow-prod-down
152×neg-mul-1
144×fma-def
140×unpow-prod-up
132×cube-prod associate-/r/
116×associate-*r/
101×sub-neg
99×associate-+r+
97×*-commutative
92×sqrt-div associate--r+
88×associate-+l+ log-prod
86×sqrt-pow1
84×frac-sub
81×sqr-pow
79×exp-prod
76×log-pow
73×flip-+ flip3-+ pow1/3
69×frac-times
61×pow-pow
60×tan-quot clear-num frac-2neg
57×cbrt-div pow1/2
52×pow-unpow diff-log
48×swap-sqr
45×associate-/l/
39×rem-sqrt-square
38×sum-log
28×frac-add
27×1-exp neg-sub0
26×neg-log sin-mult
25×rec-exp
22×pow-prod-up associate-+l-
20×+-commutative cos-mult
16×pow-sqr
14×associate--l-
12×sub-div
11×pow-flip div-sub
10×rem-exp-log inv-pow pow-sub log-div
8×associate--l+ distribute-neg-frac
7×distribute-neg-in pow2 pow-plus
5×exp-neg
4×exp-diff un-div-inv distribute-lft-neg-out distribute-frac-neg exp-to-pow
3×sqrt-unprod
2×cube-mult cube-div rem-cube-cbrt unpow3 rem-square-sqrt associate-+r- hypot-def tan-sum cos-sum
1×sqrt-pow2 log1p-udef unpow1/3 log1p-expm1 hypot-udef unpow1/2 cube-neg rem-cbrt-cube

localize2.5s (0.3%)

bsearch1.3s (0.2%)

end0.0ms (0.0%)