Date:Tuesday, February 25th, 2020
Commit:61e80a61 on faster-rr
Hostname:warfa with Racket 7.5
Seed:2020056
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.1m (35.2%)

Algorithm
60×intervals
Results
24.0s337192×body80valid
9.0s21318×body1280valid
8.3s205719×body80nan
3.2s11029×body640valid
2.5s5293×body2560valid
947.0ms4993×body320valid
423.0ms16512×pre80true
338.0ms2525×body160valid
57.0ms214×body5120valid

series52.0s (26.7%)

Calls

350 calls:

3.7s
(sqrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)))
3.5s
(sqrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)))
3.3s
(/ (* (cbrt (- (* (+ (* x y) (* z t)) (+ (* x y) (* z t))) (* (* a b) (* a b)))) (cbrt (- (* (+ (* x y) (* z t)) (+ (* x y) (* z t))) (* (* a b) (* a b))))) (* (cbrt (- (+ (* x y) (* z t)) (* a b))) (cbrt (- (+ (* x y) (* z t)) (* a b)))))
1.0s
(/ (- (* z (* (- a (/ 5.0 6.0)) (* t 3.0))) (* (/ t (sqrt (+ t a))) (* (- b c) (- (* (- (* a a) (* (/ 5.0 6.0) (/ 5.0 6.0))) (* t 3.0)) (* (- a (/ 5.0 6.0)) 2.0))))) (* (/ t (sqrt (+ t a))) (* (- a (/ 5.0 6.0)) (* t 3.0))))
808.0ms
(- (* z (* (- a (/ 5.0 6.0)) (* t 3.0))) (* (/ t (sqrt (+ t a))) (* (- b c) (- (* (- (* a a) (* (/ 5.0 6.0) (/ 5.0 6.0))) (* t 3.0)) (* (- a (/ 5.0 6.0)) 2.0)))))

prune43.2s (22.1%)

regimes14.4s (7.4%)

Accuracy

Total 41.7b remaining (26.6%)

Threshold costs 4.1b (2.6%)

10.9b-4.2%Linear.Matrix:det44 from linear-1.19.1.3
5.2b45.5%Numeric.SpecFunctions:invIncompleteBetaWorker from math-functions-0.1.5.2
5.2b22.8%Linear.Matrix:det33 from linear-1.19.1.3
4.7b82.1%NMSE problem 3.2.1
2.4b2.7%cos(2*x)/(cos^2(x)*sin^2(x))

simplify8.0s (4.1%)

Algorithm
163×egg-herbie

rewrite3.5s (1.8%)

Algorithm
103×rewrite-expression-head
Calls

350 calls:

87.0ms
(* (cbrt (/ (- (+ f n)) (- f n))) (cbrt (/ (- (+ f n)) (- f n))))
75.0ms
(/ (* (* x (/ (pow (/ 1 (sqrt a)) 1.0) (* (cbrt (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b)))) (cbrt (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b))))))) (/ (pow (/ (sqrt 1) (sqrt a)) 1.0) (cbrt (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b)))))) y)
56.0ms
(/ (- (* z (* (- a (/ 5.0 6.0)) (* t 3.0))) (* (/ t (sqrt (+ t a))) (* (- b c) (- (* (- (* a a) (* (/ 5.0 6.0) (/ 5.0 6.0))) (* t 3.0)) (* (- a (/ 5.0 6.0)) 2.0))))) (* (/ t (sqrt (+ t a))) (* (- a (/ 5.0 6.0)) (* t 3.0))))
52.0ms
(/ (+ (* (+ (* (* (cbrt (+ (* (+ (* x y) z) y) 27464.7644705)) (cbrt (+ (* (+ (* x y) z) y) 27464.7644705))) (* (cbrt (+ (* (+ (* x y) z) y) 27464.7644705)) y)) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
46.0ms
(* (+ (* (+ (* (+ (* (* (cbrt (+ (* x y) z)) (cbrt (+ (* x y) z))) (* (cbrt (+ (* x y) z)) y)) 27464.7644705) y) 230661.510616) y) t) (/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)))
Rules
4172×*-un-lft-identity
4041×times-frac
3766×add-sqr-sqrt
3740×add-exp-log
2675×add-cube-cbrt
2286×prod-exp
1358×add-cbrt-cube
905×pow1
794×cbrt-prod
720×associate-*r*
690×div-exp
642×flip-- flip3--
619×associate-*l*
597×associate-*l/
564×distribute-rgt-neg-in
545×add-log-exp
530×pow-exp
521×associate-*r/
513×distribute-lft-neg-in
474×pow-to-exp
471×cbrt-unprod
425×frac-times
411×distribute-lft-out--
394×difference-of-squares
372×frac-sub
319×associate-/r*
314×associate-/l*
311×distribute-lft-out
249×pow-prod-down
227×sqrt-prod
219×cbrt-undiv
210×cbrt-div
196×swap-sqr
184×div-inv
163×associate-/r/
158×unpow-prod-down
155×unswap-sqr
148×associate-/l/
145×neg-mul-1
128×*-commutative
122×distribute-rgt-in sub-neg distribute-lft-in
112×flip-+ flip3-+
98×sqrt-div
91×pow1/3
79×log-prod
65×clear-num frac-2neg
60×diff-log
58×tan-quot
56×1-exp
53×pow-unpow rec-exp
51×sum-log
49×log-pow
45×sqrt-pow1
43×sqr-pow
40×exp-prod
32×sin-mult
31×pow1/2
28×associate-+r+
26×pow-prod-up exp-sum associate--r+
24×cos-mult
23×+-commutative
22×sub-div neg-sub0 associate-+l-
21×associate-+l+
20×rem-sqrt-square
19×pow-pow
18×pow-sqr
17×frac-add
15×neg-log pow-plus
14×pow-flip div-sub associate--l+
12×inv-pow distribute-neg-frac
11×pow2 associate--l-
10×rem-exp-log log-div
9×un-div-inv
8×cube-div
6×distribute-frac-neg
5×distribute-lft-neg-out log-rec
4×exp-diff rem-cube-cbrt cube-prod unpow3 pow-sub cube-mult unpow-prod-up distribute-neg-in
2×cos-sum sqrt-unprod tan-sum rem-cbrt-cube distribute-rgt-neg-out associate-+r-
1×pow-neg pow3 exp-neg rem-square-sqrt rem-log-exp unpow2

localize2.7s (1.4%)

bsearch2.4s (1.2%)

end0.0ms (0.0%)