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:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:complexrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifyreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:doubleprecision:fallback
default

Details

sample1.2m (39.9%)

Algorithm
60×intervals
Results
27.1s314045×body80valid
11.3s206169×body80nan
7.9s21395×body1280valid
3.0s5317×body2560valid
2.9s10886×body640valid
1.0s5356×body320valid
679.0ms16512×pre80true
329.0ms2469×body160valid
79.0ms224×body5120valid

prune38.5s (20.9%)

Filtered
13162 candidates to 7798 candidates (59.2%)

series38.1s (20.7%)

Calls

357 calls:

480.0ms
(* (* (- y z) (/ 1 (- (+ t 1.0) z))) (- a x))
478.0ms
(* (/ (/ (- y z) (* (cbrt (- (+ t 1.0) z)) (cbrt (- (+ t 1.0) z)))) (cbrt (- (+ t 1.0) z))) (- a x))
474.0ms
(* (/ (- y z) (- (+ t 1.0) z)) (- a x))
411.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))
385.0ms
(/ (+ (+ t (* y 230661.510616)) (* y (+ (* y 27464.7644705) (* y (pow (cbrt (* (+ (* x y) z) y)) 3))))) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))

regimes13.9s (7.6%)

Accuracy

Total 30.9b remaining (23.9%)

Threshold costs 2.3b (1.8%)

4.3b56.6%Numeric.SpecFunctions:invIncompleteBetaWorker from math-functions-0.1.5.2
3.7b87.3%NMSE problem 3.2.1
3.7b46.4%Linear.Matrix:det33 from linear-1.19.1.3
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))

simplify8.4s (4.6%)

Algorithm
163×egg-herbie

bsearch5.4s (2.9%)

rewrite3.7s (2.0%)

Algorithm
103×rewrite-expression-head
Calls

357 calls:

92.0ms
(* (sqrt (/ (- (+ f n)) (- f n))) (sqrt (/ (- (+ f n)) (- f n))))
92.0ms
(* (cbrt (/ (- (+ f n)) (- f n))) (cbrt (/ (- (+ f n)) (- f n))))
53.0ms
(* (/ (/ (- y z) (* (cbrt (- (+ t 1.0) z)) (cbrt (- (+ t 1.0) z)))) (cbrt (- (+ t 1.0) z))) (- a x))
42.0ms
(/ (cbrt (pow (/ 1 (- (acos a))) 3)) (/ 1 a))
41.0ms
(/ (* (* x (sqrt (/ (pow (/ 1 a) 1.0) (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b)))))) (sqrt (/ (pow (/ 1 a) 1.0) (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b)))))) y)
Rules
7027×times-frac
6021×*-un-lft-identity
5334×add-sqr-sqrt
4018×add-cube-cbrt
1980×cbrt-prod
1961×add-exp-log
1155×add-cbrt-cube
1035×distribute-rgt-neg-in
949×pow1
937×associate-*r*
925×distribute-lft-neg-in
885×prod-exp
779×associate-*l*
746×sqrt-prod
699×unpow-prod-down
563×add-log-exp
554×cube-prod
531×distribute-lft-out--
418×difference-of-squares
414×flip3-- flip--
412×associate-/l*
393×distribute-lft-out
371×swap-sqr
345×div-exp
342×cbrt-unprod
335×cbrt-div
310×div-inv
305×associate-/r*
272×frac-times
259×neg-mul-1
241×associate-*r/
236×pow-prod-down
223×log-prod
219×associate-/r/
202×associate-*l/
192×unswap-sqr
180×distribute-rgt-in distribute-lft-in
169×cbrt-undiv pow-exp
144×pow-to-exp
141×sub-neg
140×flip-+ flip3-+
131×*-commutative
120×frac-sub
115×sqrt-div
100×pow1/3
75×tan-quot
71×sqrt-pow1
69×exp-sum
67×log-pow
66×diff-log clear-num frac-2neg
59×associate-/l/
56×pow1/2
55×sum-log
52×associate-+r+
49×exp-prod
46×1-exp rec-exp
43×pow-prod-up
42×sqr-pow
36×sin-mult
35×associate-+l+
32×cos-mult
31×pow-sqr
29×rem-sqrt-square
24×frac-add neg-sub0
23×+-commutative
22×pow-pow
20×sub-div
19×pow-unpow unpow3 cube-mult pow-plus
18×associate-+l- associate--l+ associate--r+
17×neg-log inv-pow pow-flip
14×pow2 log-div
12×div-sub distribute-neg-frac
11×un-div-inv associate--l-
10×cube-div rem-exp-log
7×distribute-frac-neg log-rec
6×distribute-lft-neg-out associate-+r-
5×rem-cube-cbrt
4×exp-diff sqrt-unprod distribute-neg-in distribute-rgt-neg-out
3×rem-square-sqrt rem-log-exp
2×exp-neg distribute-rgt-out-- unpow-prod-up cos-sum tan-sum
1×pow3 pow-sub distribute-rgt-out rem-cbrt-cube exp-to-pow

localize2.7s (1.5%)

end1.0ms (0.0%)