Date:Sunday, April 12th, 2020
Commit:48b457a7 on overflow-detection-both-ends
Hostname:warfa with Racket 7.5
Seed:2020103
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.3m (36.7%)

Algorithm
60×intervals
Results
31.0s336309×body80valid
11.4s207679×body80nan
8.1s21487×body1280valid
3.3s5389×body2560valid
3.0s11069×body640valid
960.0ms5005×body320valid
665.0ms16512×pre80true
341.0ms2568×body160valid
78.0ms231×body5120valid

prune58.5s (27.1%)

Filtered
17217 candidates to 10857 candidates (63.1%)

series43.2s (20.0%)

Calls

350 calls:

693.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))))
577.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)))))
540.0ms
(/ (/ (pow (/ 1 a) 1.0) (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b)))) (/ y x))
539.0ms
(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (* (cbrt (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)) (cbrt (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))))
532.0ms
(/ (sqrt (/ (pow (/ 1 a) 1.0) (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b))))) (/ (* (cbrt y) (cbrt y)) (* (cbrt x) (cbrt x))))

regimes12.9s (6.0%)

Accuracy

Total 41.0b remaining (25.7%)

Threshold costs 4.7b (2.9%)

13.0b-23.3%Linear.Matrix:det44 from linear-1.19.1.3
6.2b-2.9%Linear.Matrix:det33 from linear-1.19.1.3
3.2b87.6%NMSE problem 3.2.1
2.9b0%cos(2*x)/(cos^2(x)*sin^2(x))
2.5b25.8%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1

simplify10.2s (4.7%)

Algorithm
162×egg-herbie

bsearch4.8s (2.2%)

rewrite4.5s (2.1%)

Algorithm
102×rewrite-expression-head
Calls

350 calls:

183.0ms
(/ (/ (/ a (/ (sqrt (- (sqrt (- (* b_2 b_2) (* a c))) b_2)) c)) (sqrt (- (sqrt (- (* b_2 b_2) (* a c))) b_2))) a)
60.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))))
46.0ms
(/ (/ (pow (/ 1 a) 1.0) (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b)))) (/ y x))
44.0ms
(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (* (cbrt (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)) (cbrt (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))))
43.0ms
(/ (sqrt (/ (pow (/ 1 a) 1.0) (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b))))) (/ (* (cbrt y) (cbrt y)) (* (cbrt x) (cbrt x))))
Rules
22318×times-frac
14117×add-sqr-sqrt
12187×*-un-lft-identity
9467×add-cube-cbrt
6994×sqrt-prod
2183×difference-of-squares
2023×add-exp-log
1507×associate-/l*
1348×unpow-prod-down
1225×add-cbrt-cube
1222×distribute-lft-out--
1033×associate-*r/
1010×associate-*l/
905×prod-exp
875×pow1
858×flip-- flip3--
713×cbrt-prod
683×frac-times
642×frac-sub
609×associate-*r*
591×div-inv
548×add-log-exp
533×associate-*l*
398×cbrt-unprod
390×exp-sum
368×div-exp
343×sqrt-div
310×distribute-rgt-neg-in
276×associate-/r*
273×distribute-lft-neg-in
244×flip-+ flip3-+
219×pow-prod-down
218×cbrt-undiv
215×associate-/l/
202×cbrt-div
190×associate-/r/
184×distribute-rgt-in log-prod distribute-lft-in
166×distribute-lft-out
160×pow-exp
155×cos-mult
142×pow-to-exp
140×sin-mult
137×frac-add
136×sub-neg unswap-sqr
134×cube-prod
121×*-commutative
119×sqr-pow
90×pow1/3
79×neg-mul-1
76×swap-sqr
71×associate-+l+
68×sum-log
66×associate-+r+
62×clear-num frac-2neg
58×tan-quot
57×diff-log
51×log-pow
43×sqrt-pow1
34×1-exp rec-exp
32×pow-unpow
31×exp-prod
28×pow1/2
27×+-commutative
24×rem-sqrt-square
23×pow-prod-up associate-+l-
20×associate--r+
17×sub-div pow-sqr
16×log-div
15×pow-plus
14×pow-pow
12×rem-exp-log pow-flip associate--l+
11×un-div-inv inv-pow neg-sub0
10×pow2 div-sub
8×cube-div associate-+r-
7×neg-log
6×rem-cube-cbrt distribute-neg-frac
5×distribute-frac-neg
4×exp-diff unpow3 distribute-neg-in cube-mult associate--l- log-rec
3×difference-cubes distribute-lft-neg-out distribute-rgt-neg-out
2×sub0-neg unpow-prod-up tan-sum cos-sum
1×sqrt-unprod exp-to-pow pow3 exp-neg pow-sub unsub-neg distribute-rgt-out cube-neg pow-neg rem-cbrt-cube

localize2.6s (1.2%)

end0.0ms (0.0%)