Date:Wednesday, February 26th, 2020
Commit:a943e6d1 on master
Hostname:warfa with Racket 7.5
Seed:2020057
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

series11.0m (84.3%)

Calls

328 calls:

3.4s
(fma (fma c t (- (* i y))) j (- (+ (* x (fma y z (- (* a t)))) (* x (fma (- a) t (* a t)))) (* b (- (* c z) (* i a)))))
3.0s
(fma (/ (+ (tan y) (tan z)) (- (pow 1 3) (cbrt (pow (pow (* (tan y) (tan z)) 3) 3)))) (fma (fma (tan y) (tan z) 1) (* (tan y) (tan z)) 1) (+ (- (tan a)) x))
2.9s
(fma t (- (* (* (* x 18.0) y) z) (* a 4.0)) (- (* b c) (fma x (* 4.0 i) (* j (* 27.0 k)))))
2.9s
(fma (/ (+ (tan y) (tan z)) (- (pow 1 3) (pow (* (tan y) (tan z)) 3))) (fma (fma (tan y) (tan z) 1) (* (tan y) (tan z)) 1) (+ (- (tan a)) x))
2.9s
(fma t (- (* (* (* x 18.0) y) z) (* a 4.0)) (- (* b c) (fma x (* 4.0 i) (* (* j 27.0) k))))

sample51.2s (6.6%)

Algorithm
59×intervals
Results
12.0s263572×body80valid
8.9s21440×body1280valid
8.6s207960×body80nan
3.2s10882×body640valid
2.4s5244×body2560valid
1.0s5115×body320valid
459.0ms16512×pre80true
350.0ms2622×body160valid
62.0ms218×body5120valid

prune47.8s (6.1%)

simplify8.9s (1.1%)

Algorithm
159×egg-herbie

regimes7.2s (0.9%)

Accuracy

Total 33.3b remaining (25.7%)

Threshold costs 3.3b (2.5%)

7.9b-0.5%Linear.Matrix:det33 from linear-1.19.1.3
5.2b81.8%NMSE problem 3.2.1
4.3b83.8%The quadratic formula (r1)
2.6b-11.9%cos(2*x)/(cos^2(x)*sin^2(x))
1.9b0%Graphics.Rendering.Chart.Backend.Diagrams:calcFontMetrics from Chart-diagrams-1.5.1

rewrite3.2s (0.4%)

Algorithm
101×rewrite-expression-head
Calls

330 calls:

171.0ms
(/ x (* (/ (* (cbrt y) (cbrt y)) (/ (pow (/ (sqrt 1) (* (cbrt a) (cbrt 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))))))) (/ (cbrt y) (/ (pow (/ (sqrt 1) (cbrt a)) 1.0) (cbrt (exp (fma y (log (/ 1 z)) (fma (log (/ 1 a)) t b))))))))
61.0ms
(/ (- (* (* z (sqrt (+ t a))) (* (- a (/ 5.0 6.0)) (* t 3.0))) (* t (* (- b c) (- (* (- (* a a) (* (/ 5.0 6.0) (/ 5.0 6.0))) (* t 3.0)) (* (- a (/ 5.0 6.0)) 2.0))))) (* t (* (- a (/ 5.0 6.0)) (* t 3.0))))
54.0ms
(/ x (/ y (/ (pow (/ 1 a) 1.0) (exp (fma y (log (/ 1 z)) (fma (log (/ 1 a)) t b))))))
44.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))
38.0ms
(- (/ (* z (sqrt (+ t a))) t) (* (- b c) (- (+ a (/ 5.0 6.0)) (cbrt (pow (/ 2.0 (* t 3.0)) 3)))))
Rules
8231×times-frac
5616×*-un-lft-identity
5394×add-sqr-sqrt
4805×add-cube-cbrt
2845×add-exp-log
1106×add-cbrt-cube
1069×prod-exp
1018×div-exp
967×unpow-prod-down
900×prod-diff
834×associate-*r/
816×associate-*l/
700×exp-prod
645×flip-- flip3--
639×distribute-rgt-neg-in
637×pow1
609×log-pow
603×distribute-lft-neg-in
582×frac-sub
580×associate-/r*
464×add-log-exp
406×frac-times
388×div-inv
376×associate-*r*
371×cbrt-prod
331×log1p-expm1-u expm1-log1p-u
327×cbrt-unprod
322×associate-*l*
317×associate-/l*
316×fma-udef
308×sqrt-div
293×exp-sum
278×sqrt-prod pow-exp
264×associate--r+
249×cbrt-undiv
210×distribute-rgt-in distribute-lft-in
209×distribute-lft-out
206×distribute-lft-out--
205×flip-+ flip3-+
201×associate-/l/
197×difference-of-squares
189×pow-to-exp
188×neg-mul-1
170×fma-neg
153×associate-/r/
126×pow-prod-down
100×associate-+r+
98×cube-prod
97×sqr-pow
79×fma-def
78×*-commutative unswap-sqr
73×sub-neg
62×clear-num frac-2neg
60×cbrt-div
55×pow1/3
47×log-prod
44×diff-log
43×rec-exp 1-exp
40×tan-quot
34×sqrt-pow1
33×pow1/2
32×rem-sqrt-square
31×pow-unpow
30×sin-mult
26×cube-div
24×cos-mult
23×sum-log
20×unpow3 cube-mult
19×neg-sub0
15×sub-div
14×+-commutative
12×div-sub
11×neg-log
10×pow-pow inv-pow distribute-neg-in pow-flip distribute-neg-frac
9×rem-exp-log rem-cube-cbrt swap-sqr
8×distribute-frac-neg
7×associate-+l+ associate-+l-
6×un-div-inv associate--l+ rem-log-exp log-div
5×exp-diff unpow-prod-up associate--l-
4×exp-neg
3×frac-add pow-sqr pow-prod-up distribute-rgt-out-- rem-cbrt-cube
2×log1p-udef cos-sum associate-+r- pow2 log1p-expm1 expm1-log1p pow-plus tan-sum expm1-udef
1×e-exp-1 pow-neg pow-sub sqrt-unprod exp-to-pow log-rec

localize2.5s (0.3%)

bsearch1.3s (0.2%)

end1.0ms (0.0%)