Date:Saturday, April 11th, 2020
Commit:a26a9b61 on overflow-detection-both-ends
Hostname:warfa with Racket 7.5
Seed:2020102
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.3%)

Calls

348 calls:

3.3s
(fma (- (* c t) (* i y)) j (- (+ (* x (fma y z (- (* a t)))) (* x (fma (- a) t (* a t)))) (* b (- (* c z) (* i a)))))
855.0ms
(fma (/ (+ (tan y) (tan z)) (- (* 1 1) (/ (* (* (tan y) (tan z)) (* (sin y) (sin z))) (* (cos y) (cos z))))) (+ 1 (* (tan y) (tan z))) (- (tan a)))
808.0ms
(fma (/ (+ (tan y) (tan z)) (- (* 1 1) (* (* (tan y) (tan z)) (* (tan y) (tan z))))) (+ 1 (* (tan y) (tan z))) (- (tan a)))
723.0ms
(fma (- (* c t) (* i y)) j (- (* (* (cbrt x) (cbrt x)) (* (cbrt x) (- (* y z) (* t a)))) (* b (- (* c z) (* i a)))))
714.0ms
(fma (- (* c t) (* i y)) j (- (* x (- (* y z) (* t a))) (* (* (cbrt b) (cbrt b)) (* (cbrt b) (- (* c z) (* i a))))))

sample56.4s (7.4%)

Algorithm
59×intervals
Results
15.1s263309×body80valid
11.1s206169×body80nan
7.8s21395×body1280valid
2.9s5317×body2560valid
2.8s10886×body640valid
992.0ms5356×body320valid
683.0ms16512×pre80true
322.0ms2469×body160valid
75.0ms224×body5120valid

prune38.4s (5.1%)

Filtered
14793 candidates to 8534 candidates (57.7%)

simplify8.9s (1.2%)

Algorithm
160×egg-herbie

regimes8.0s (1.1%)

Accuracy

Total 32.2b remaining (25.2%)

Threshold costs 2.2b (1.7%)

5.7b25.6%Linear.Matrix:det33 from linear-1.19.1.3
4.9b83%NMSE problem 3.2.1
3.4b34.7%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1
3.2b43.1%Graphics.Rendering.Chart.Backend.Diagrams:calcFontMetrics from Chart-diagrams-1.5.1
2.4b0%cos(2*x)/(cos^2(x)*sin^2(x))

rewrite3.4s (0.5%)

Algorithm
102×rewrite-expression-head
Calls

350 calls:

89.0ms
(* (cbrt (/ (- (+ f n)) (- f n))) (cbrt (/ (- (+ f n)) (- f n))))
88.0ms
(* (sqrt (/ (- (+ f n)) (- f n))) (sqrt (/ (- (+ f n)) (- f n))))
75.0ms
(- (/ (- b_2) a) (/ (sqrt (- (* b_2 b_2) (* a c))) a))
45.0ms
(/ (cbrt (pow (/ 1 (- (acos a))) 3)) (/ 1 a))
33.0ms
(/ (+ (* (+ (* (+ (* (* (cbrt (* (+ (* x y) z) y)) (cbrt (* (+ (* x y) z) y))) (cbrt (* (+ (* x y) z) y))) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
Rules
8395×times-frac
7566×*-un-lft-identity
6663×add-sqr-sqrt
5550×add-cube-cbrt
2002×prod-diff
1843×add-exp-log
1839×cbrt-prod
1483×distribute-rgt-neg-in
1371×distribute-lft-neg-in
1278×sqrt-prod
1090×add-cbrt-cube
891×pow1
848×prod-exp
729×associate-*r*
704×unpow-prod-down
553×cube-prod
513×associate-*l*
500×add-log-exp
458×distribute-lft-out
455×distribute-lft-out--
424×div-inv
412×associate-/l*
403×neg-mul-1
377×difference-of-squares
358×swap-sqr
350×log1p-expm1-u expm1-log1p-u
320×cbrt-unprod
315×div-exp
290×associate-/r*
286×fma-neg
241×flip-- flip3--
228×pow-prod-down
217×distribute-rgt-in distribute-lft-in
181×log-prod
168×pow-exp
152×cbrt-undiv
144×pow-to-exp
143×cbrt-div
140×unswap-sqr
135×exp-sum
130×associate-*r/
122×associate-+r+
119×frac-times associate-/r/
114×associate-*l/
100×*-commutative
94×sub-neg
92×associate--r+
91×sqrt-div
86×pow1/3
80×fma-def
79×fma-udef
76×flip-+ flip3-+
75×tan-quot
73×sqrt-pow1
66×clear-num frac-2neg
61×associate-+l+
59×associate-/l/
56×diff-log
55×frac-sub
53×pow1/2
45×log-pow
42×sqr-pow
41×exp-prod
38×pow-prod-up
37×1-exp
36×rec-exp
35×sin-mult
32×distribute-neg-frac
26×rem-sqrt-square pow-sqr neg-sub0 cos-mult
24×sum-log
22×pow-pow
20×unpow-prod-up
19×pow-unpow neg-log
18×unpow3 sub-div cube-mult
17×pow-plus
13×+-commutative
12×pow2 div-sub associate-+l- associate--l-
11×frac-add
10×log-div
9×rem-exp-log
8×associate--l+
7×cube-div distribute-frac-neg inv-pow distribute-neg-in pow-flip
5×distribute-rgt-out--
4×exp-diff un-div-inv sqrt-unprod
3×rem-cube-cbrt rem-square-sqrt
2×associate-+r- exp-neg cos-sum tan-sum rem-log-exp
1×pow3 pow-sub rem-cbrt-cube

localize2.6s (0.3%)

bsearch1.4s (0.2%)

end1.0ms (0.0%)