Date:Wednesday, April 29th, 2020
Commit:293eb8dd on gh-actions
Hostname:warfa with Racket 7.5
Seed:2020120
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 (81.5%)

Calls

321 calls:

3.5s
(fma (- (* c t) (* i y)) j (- (* x (- (* y z) (* t a))) (+ (* b (- (* z c) (* a i))) (* b (fma (- a) i (* a i))))))
806.0ms
(* (/ -1 (+ (sqrt f) (sqrt n))) (/ (+ f n) (- (sqrt f) (sqrt n))))
743.0ms
(log1p (expm1 (/ 2.0 (* t 3.0))))
634.0ms
(fma (- (* c t) (* i y)) j (- (* x (- (* y z) (* t a))) (+ (* (* b c) z) (* b (- (* i a))))))
617.0ms
(fma (- (* c t) (* i y)) j (- (* x (- (* y z) (* t a))) (+ (* b (* c z)) (* b (- (* i a))))))

sample1.1m (8.1%)

Algorithm
59×intervals
Results
16.2s263686×body80valid
11.8s202287×body80nan
8.5s21363×body1280valid
3.3s5243×body2560valid
3.1s10912×body640valid
1.8s3244×body2560nan
1.1s5256×body320valid
960.0ms2644×body1280nan
737.0ms16512×pre80true
338.0ms2432×body160valid
333.0ms1315×body640nan
116.0ms622×body320nan
95.0ms309×body5120exit
78.0ms219×body5120valid
46.0ms351×body160nan

prune56.1s (7.1%)

Filtered
16159 candidates to 11156 candidates (69.0%)

simplify9.4s (1.2%)

Algorithm
156×egg-herbie

regimes7.9s (1.0%)

Accuracy

Total 26.1b remaining (21%)

Threshold costs 3.8b (3.1%)

4.9b0%sqrt sqr
3.6b86.6%NMSE problem 3.2.1
2.4b0%cos(2*x)/(cos^2(x)*sin^2(x))
2.3b62.3%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1
2.1b72.9%Linear.Matrix:det33 from linear-1.19.1.3

rewrite4.3s (0.6%)

Algorithm
98×rewrite-expression-head
Calls

324 calls:

129.0ms
(/ (/ 1 (cbrt (/ (- (acos a)) a))) (cbrt (/ (- (acos a)) a)))
69.0ms
(* x (/ (/ (pow (/ 1 a) 1.0) (exp (fma y (log (/ 1 z)) (fma (log (/ 1 a)) t b)))) y))
34.0ms
(* (/ -1 (+ (sqrt f) (sqrt n))) (/ (+ f n) (- (sqrt f) (sqrt n))))
32.0ms
(+ x (- (/ (+ (tan y) (tan z)) (- 1 (/ (* (tan y) (sin z)) (cos z)))) (tan a)))
31.0ms
(- (/ (+ (tan y) (tan z)) (- 1 (/ (* (tan y) (sin z)) (cos z)))) (tan a))
Rules
18857×times-frac
10684×*-un-lft-identity
10329×add-sqr-sqrt
9408×add-cube-cbrt
8196×cbrt-prod
2581×distribute-rgt-neg-in
2544×distribute-lft-neg-in
1864×add-exp-log
1453×prod-diff
1050×add-cbrt-cube
875×prod-exp
835×neg-mul-1
789×pow1
736×associate-*r*
605×sqrt-prod
507×unpow-prod-down
495×add-log-exp
458×div-inv
413×associate-/l*
389×associate-*l*
347×distribute-lft-out
337×div-exp difference-of-squares
330×cbrt-unprod
324×log1p-expm1-u expm1-log1p-u
318×distribute-lft-out--
282×fma-neg
266×associate-/r*
233×associate-+r+
220×exp-prod
217×exp-sum
212×distribute-rgt-in distribute-lft-in
192×flip-- flip3--
185×pow-prod-down
175×associate-/r/
169×log-prod
164×fma-udef
162×cbrt-undiv
158×log-pow
154×pow-exp
132×pow-to-exp
118×fma-def
113×unswap-sqr
94×sqrt-div
92×associate--r+
89×*-commutative
77×associate-*l/ sub-neg
76×associate-*r/
71×1-exp
70×associate-+l+
69×flip-+ flip3-+
64×sqr-pow frac-times sqrt-pow1
62×pow1/3
58×clear-num frac-2neg
55×diff-log
54×rec-exp
53×frac-sub
52×cbrt-div
47×pow1/2
45×associate-/l/
38×sum-log
31×sin-mult
30×swap-sqr
27×rem-sqrt-square
25×neg-sub0
23×cos-mult
22×+-commutative
20×tan-quot associate-+l-
17×neg-log
14×pow-prod-up log-div
13×sub-div pow-flip associate--l-
12×div-sub associate--l+
11×un-div-inv
10×pow-unpow pow-sqr
9×inv-pow frac-add
8×rem-exp-log distribute-frac-neg
7×exp-diff distribute-neg-frac
5×pow-pow unpow2
4×exp-neg pow2 pow-plus rem-log-exp
3×pow-div cube-div associate-+r-
2×rem-cube-cbrt unpow3 distribute-lft-neg-out sqrt-unprod cube-mult cube-prod cos-sum tan-sum distribute-rgt-neg-out exp-to-pow
1×log1p-udef log1p-expm1 rem-square-sqrt rem-cbrt-cube log-rec

localize2.5s (0.3%)

bsearch1.4s (0.2%)

end1.0ms (0.0%)