Date:Wednesday, March 11th, 2020
Commit:79312c80 on better-rr
Hostname:warfa with Racket 7.5
Seed:2020071
Parameters:256 points for 4 iterations
Flags:
setup:simplifyrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:complexrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifygenerate:better-rrreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:doubleprecision:fallback
default

Details

sample1.1m (44.6%)

Algorithm
60×intervals
Results
24.5s335191×body80valid
8.8s207683×body80nan
7.2s21298×body1280valid
2.6s11012×body640valid
2.5s5293×body2560valid
841.0ms4942×body320valid
392.0ms16512×pre80true
294.0ms2492×body160valid
60.0ms225×body5120valid

series32.4s (21.5%)

Calls

323 calls:

575.0ms
(+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* i a)))) (* j (- (* c t) (* i y))))
470.0ms
(/ (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i) (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t))
465.0ms
(* (/ (- y z) (- (+ t 1.0) z)) (- a x))
414.0ms
(/ 1 (/ (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i) (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t)))
408.0ms
(/ (/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)) (/ 1 (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t)))

prune20.9s (13.9%)

Filtered
4124 candidates to 3169 candidates (76.8%)

regimes12.2s (8.1%)

Accuracy

Total 29.3b remaining (24%)

Threshold costs 5.1b (4.2%)

8.9b-20.1%Linear.Matrix:det33 from linear-1.19.1.3
5.0b82.3%The quadratic formula (r1)
2.4b-20.8%Numeric.SpecFunctions:incompleteBetaWorker from math-functions-0.1.5.2
2.2b0%Numeric.SpecFunctions:invIncompleteBetaWorker from math-functions-0.1.5.2
1.8b0%cos(2*x)/(cos^2(x)*sin^2(x))

simplify8.5s (5.6%)

Algorithm
159×egg-herbie

bsearch4.8s (3.2%)

localize2.5s (1.6%)

rewrite2.2s (1.4%)

Algorithm
99×rewrite-expression-head
Calls

323 calls:

28.0ms
(- (/ (* z (sqrt (+ t a))) t) (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0)))))
26.0ms
(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
24.0ms
(- (/ (sqrt (+ t a)) (/ t z)) (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0)))))
23.0ms
(/ (/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)) (/ 1 (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t)))
23.0ms
(* (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)))
Rules
1042×frac-sub
610×associate-*r/
540×frac-times
522×flip-- flip3--
450×flip-+ flip3-+
445×*-commutative
444×clear-num
404×frac-2neg
351×associate-/r*
338×associate-/l/
280×div-inv
241×associate-*r*
204×sqrt-div
199×associate-/l*
184×associate-/r/
183×associate-*l*
180×associate-*l/
157×sub-neg
150×distribute-rgt-in distribute-lft-in
131×times-frac
116×frac-add
102×sqr-pow
88×log-div
79×+-commutative
53×un-div-inv
48×associate-+l+
47×tan-quot
44×exp-sum associate--l+ associate-+r+
39×associate--r-
38×sin-mult
36×neg-mul-1
34×cos-mult
32×associate--r+
30×exp-diff distribute-neg-frac
25×associate-+l-
23×neg-sub0
22×distribute-lft-out log-prod sub-div
21×pow1/2
19×associate--l-
16×distribute-rgt-neg-in distribute-lft-neg-in
15×div-sub
12×distribute-neg-in
11×pow-to-exp
10×inv-pow
7×distribute-rgt-out sum-cubes
6×distribute-frac-neg unpow-prod-up unpow2
5×distribute-rgt-neg-out pow-sub
4×unswap-sqr distribute-lft-neg-out cos-sum tan-sum
3×remove-double-div exp-prod associate-+r- prod-exp
2×pow-unpow unpow3 sum-log distribute-rgt-out-- difference-cubes pow-prod-down pow2 diff-log difference-of-squares sqrt-prod
1×unsub-neg unpow-prod-down exp-neg div-exp sqrt-unprod distribute-lft-out-- swap-sqr

end0.0ms (0.0%)