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

series14.1m (58.9%)

Calls

2309 calls:

3.7s
(fma (- (* c t) (* i y)) j (- (* x (- (* y z) (* t a))) (+ (* b (- (* z c) (* a i))) (* b (fma (- a) i (* a i))))))
3.4s
(fma (- (* c a) (* y i)) j (- (* x (- (* y z) (* t a))) (+ (* b (- (* c z) (* t i))) (* b (fma (- i) t (* i t))))))
1.4s
(/ (fma (/ (- 3.0 (sqrt 5.0)) 2.0) (cos y) (fma (/ (- (sqrt 5.0) 1.0) 2.0) (cos x) 1.0)) (fma (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (* (- (sin y) (/ (sin x) 16.0)) (- (cos x) (cos y))) 2.0))
1.4s
(/ (- (+ 2.0 (* (* (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (- (sin y) (/ (sin x) 16.0))) (- (cos x) (cos y))))) (* (fma (/ (- 3.0 (sqrt 5.0)) 2.0) (cos y) (fma (/ (- (sqrt 5.0) 1.0) 2.0) (cos x) 1.0)) (- 3.0)))
1.3s
(/ (+ 2.0 (* (* (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (- (sin y) (/ (sin x) 16.0))) (- (cos x) (cos y)))) (* 3.0 (+ (+ 1.0 (* (/ (- (sqrt 5.0) 1.0) 2.0) (cos x))) (* (/ (- 3.0 (sqrt 5.0)) 2.0) (cos y)))))

sample4.0m (16.6%)

Algorithm
538×intervals
Results
1.5m2587685×body80valid
29.7s533442×body80nan
19.4s47382×body1280valid
11.1s43598×body640valid
4.3s25445×body320valid
4.1s5477×body2560valid
1.5s13577×body160valid
175.0ms1028×body640nan
170.0ms62×body5120valid
169.0ms849×body1280nan
86.0ms1550×body80overflowed
77.0ms644×body320nan
27.0ms342×body160nan

prune3.3m (13.8%)

Filtered
85566 candidates to 55504 candidates (64.9%)

simplify1.3m (5.3%)

Algorithm
1401×egg-herbie

regimes45.0s (3.1%)

Accuracy

Total 167.8b remaining (35.8%)

Threshold costs 29.5b (6.3%)

18.1b15.9%AI.Clustering.Hierarchical.Internal:ward from clustering-0.2.1
13.5b57%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
7.2b2.9%Data.Colour.Matrix:determinant from colour-2.3.3, A
6.8b14%Graphics.Rendering.Chart.Axis.Types:linMap from Chart-1.5.3
5.9b25.2%Graphics.Rendering.Chart.Axis.Types:invLinMap from Chart-1.5.3

rewrite19.0s (1.3%)

Algorithm
864×rewrite-expression-head
Calls

2312 calls:

178.0ms
(* (/ 1.0 x) (/ (/ (/ 1 y) (sqrt (fma z z 1.0))) (sqrt (fma z z 1.0))))
114.0ms
(* (/ (* (cbrt x) (cbrt x)) (/ z (sqrt 2.0))) (/ (cbrt x) (/ (- y t) (sqrt 2.0))))
72.0ms
(* (sqrt (/ (+ x y) (+ y y))) (sqrt (/ (+ x y) (+ y y))))
59.0ms
(* x (/ (/ (pow (/ 1 a) 1.0) (exp (fma y (log (/ 1 z)) (fma (log (/ 1 a)) t b)))) y))
54.0ms
(+ (* (/ (* (cbrt y) (cbrt y)) 1) (* (/ (cbrt y) (- a t)) (- t z))) (+ x y))
Rules
39078×*-un-lft-identity
37519×times-frac
36606×add-sqr-sqrt
27065×add-cube-cbrt
9533×prod-diff
8791×add-exp-log
7193×add-cbrt-cube
7026×sqrt-prod
5765×associate-*r*
5598×pow1
3723×cbrt-prod
3321×distribute-lft-out--
3218×difference-of-squares
3121×add-log-exp
3014×associate-*l*
2963×distribute-lft-out
2873×associate-/r*
2672×distribute-rgt-in distribute-lft-in
2320×expm1-log1p-u
2316×log1p-expm1-u
2307×prod-exp
2250×div-inv
2143×associate-/l*
1945×div-exp
1882×cbrt-unprod
1441×associate-/r/
1420×cbrt-undiv
1364×pow-prod-down
1257×flip-- flip3--
1213×log-prod
1187×unpow-prod-down
1156×unswap-sqr
949×associate-*r/
920×swap-sqr
827×flip-+ flip3-+
769×associate-+r+
755×pow1/3
738×cbrt-div
721×associate-*l/
682×fma-neg
658×associate-+l+
635×frac-times
588×*-commutative
583×fma-def
518×associate--l+
514×sqrt-pow1
490×clear-num frac-2neg
458×fma-udef
434×sub-neg
406×log-pow
401×associate-/l/
345×sqrt-div
342×cube-prod
310×exp-sum
290×pow1/2
265×1-exp
239×pow-prod-up
238×sum-log
237×rec-exp
210×diff-log
199×sqr-pow
187×pow-sqr
159×associate--r+
153×+-commutative
147×distribute-lft-neg-in
145×distribute-rgt-neg-in
143×distribute-rgt-out
106×rem-sqrt-square
99×div-sub
98×frac-sub
96×pow-exp
87×unpow2
82×exp-prod
81×pow-unpow frac-add
79×pow-plus
78×pow2 log-div
77×pow-flip
69×pow-to-exp
62×inv-pow
61×pow-pow
54×distribute-lft1-in
50×distribute-rgt1-in
45×rem-log-exp
44×un-div-inv
41×neg-mul-1
38×count-2
36×cosh-def
30×unpow3 cube-mult distribute-rgt-neg-out
27×hypot-def
26×cube-div associate-+l-
23×cos-sum
21×sqrt-unprod
20×rem-cube-cbrt
19×rem-square-sqrt sinh-def
16×distribute-lft-neg-out tanh-def
14×sub-div expm1-udef
13×expm1-log1p unsub-neg distribute-rgt-out--
12×log1p-udef
11×log1p-expm1
10×associate-+r-
9×rem-exp-log associate--l- rem-cbrt-cube
8×associate--r- tan-quot
7×hypot-udef
6×exp-diff sum-cubes distribute-neg-frac
5×unpow1/3 neg-sub0
4×sqrt-pow2 diff-cos distribute-frac-neg
3×cos-diff sqrt-undiv
2×sin-mult cos-mult exp-to-pow
1×expm1-def difference-cubes pow3 exp-neg difference-of-sqr-1 neg-log cube-neg mul-1-neg

localize9.0s (0.6%)

bsearch4.3s (0.3%)

end6.0ms (0.0%)