Date:Sunday, March 15th, 2020
Commit:1a959946 on master
Hostname:warfa with Racket 7.5
Seed:2020075
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

series4.2m (29.5%)

Calls

2608 calls:

3.2s
(+ (pow (+ (* x y) (* z t)) 3) (pow (* a b) 3))
3.0s
(/ (+ 2.0 (* (* (* (sqrt 2.0) (- (sin x) (* 0.0625 (sin y)))) (- (sin y) (/ (sin x) 16.0))) (- (cos x) (cos y)))) (* 3.0 (+ (+ 1.0 (* (/ 1 (sqrt 2.0)) (* (/ (- (sqrt 5.0) 1.0) (sqrt 2.0)) (cos x)))) (* (/ (/ (+ (* 3.0 3.0) (- 5.0)) (+ 3.0 (sqrt 5.0))) 2.0) (cos y)))))
2.8s
(/ (+ 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 (* (/ 1 (sqrt 2.0)) (* (/ (- (sqrt 5.0) 1.0) (sqrt 2.0)) (cos x)))) (* (/ (/ (+ (* 3.0 3.0) (- 5.0)) (+ 3.0 (sqrt 5.0))) 2.0) (cos y)))))
2.8s
(- (- (+ (- (* (* (* x 18.0) y) (* z t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* j 27.0) k))
1.8s
(/ (+ 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 3.0) (- 5.0)) (+ 3.0 (sqrt 5.0))) 2.0) (cos y)))))

sample3.7m (25.9%)

Algorithm
538×intervals
Results
1.4m2654622×body80valid
21.1s510987×body80nan
17.3s47084×body1280valid
9.5s42688×body640valid
3.9s25537×body320valid
3.9s5526×body2560valid
1.3s13635×body160valid
758.0ms1531×body10240exit
130.0ms51×body5120valid
100.0ms644×body640nan
91.0ms495×body1280nan
42.0ms399×body320nan
15.0ms221×body160nan

prune3.7m (25.9%)

Filtered
87737 candidates to 56825 candidates (64.8%)

simplify1.3m (8.8%)

Algorithm
1442×egg-herbie

regimes48.4s (5.6%)

Accuracy

Total 219.4b remaining (38.4%)

Threshold costs 22.8b (4%)

16.4b18.6%AI.Clustering.Hierarchical.Internal:ward from clustering-0.2.1
12.6b-17%Linear.Matrix:det44 from linear-1.19.1.3
12.2b60.4%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
10.6b5.4%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1, J
9.5b59.2%Data.Octree.Internal:octantDistance from Octree-0.5.4.2

rewrite24.1s (2.8%)

Algorithm
905×rewrite-expression-head
Calls

2608 calls:

241.0ms
(* (+ (* 1.0 1.0) (+ (* y y) (* 1.0 y))) (- (/ x (- (pow 1.0 3) (pow y 3))) (/ y (- (pow 1.0 3) (pow y 3)))))
168.0ms
(- (- 1.0 (/ (/ (/ 1.0 x) (sqrt 9.0)) (sqrt 9.0))) (/ (/ y 3.0) (sqrt x)))
162.0ms
(* (/ (/ 1.0 y) (sqrt (+ 1.0 (* z z)))) (/ (/ (sqrt 1) x) (sqrt (+ 1.0 (* z z)))))
120.0ms
(+ x (/ 1 (/ (/ 1 y) (/ y z))))
84.0ms
(* (/ 1 (sqrt (+ (+ x 1.0) (* 4.0 (sqrt x))))) (/ 6.0 (/ (sqrt (+ (+ x 1.0) (* 4.0 (sqrt x)))) (- x 1.0))))
Rules
36809×times-frac
34191×*-un-lft-identity
33570×add-sqr-sqrt
23012×add-cube-cbrt
12843×add-exp-log
8938×add-cbrt-cube
7153×pow1
6959×associate-*r*
6090×cbrt-prod
5293×sqrt-prod
4315×associate-*l*
4099×prod-exp
4080×add-log-exp
3766×cbrt-div
3369×associate-/r*
3304×difference-of-squares
3282×distribute-lft-out--
3127×div-exp
2961×associate-*r/
2680×cbrt-unprod
2649×frac-times
2572×flip3-- flip--
2477×distribute-lft-out
2353×flip-+ flip3-+
2276×associate-/l*
2138×associate-*l/
2064×pow-prod-down
2044×div-inv
1878×associate-/r/
1754×cbrt-undiv
1652×unswap-sqr
1617×unpow-prod-down
1318×log-prod
1004×distribute-rgt-in distribute-lft-in
977×swap-sqr
966×pow1/3
938×sqrt-div
821×*-commutative
770×cube-prod
752×frac-add
661×associate-/l/
651×sqrt-pow1
628×sub-neg
539×clear-num frac-2neg
524×sum-log
507×pow-exp
497×frac-sub
443×1-exp
412×sqr-pow
398×pow-prod-up
360×rec-exp
316×+-commutative
306×pow1/2
298×pow-sqr
290×diff-log
281×associate-+r+
277×associate-+l+
254×associate--l+
226×pow-to-exp
199×log-pow
167×distribute-neg-frac
158×pow-plus
144×pow-unpow
136×pow2
111×exp-sum
109×div-sub
105×unpow2
99×exp-prod
98×pow-pow
95×rem-sqrt-square
92×pow-flip
84×associate--r+
77×inv-pow
59×tanh-def
58×cube-div
56×distribute-rgt-neg-in distribute-rgt-out--
54×log-div
52×distribute-rgt-neg-out
51×distribute-lft-neg-in
49×unpow3 cube-mult
48×un-div-inv
42×rem-log-exp
32×distribute-rgt-out associate-+l-
30×unsub-neg
25×associate-+r- neg-mul-1 sinh-def
22×rem-exp-log
21×cosh-def
20×difference-cubes sub-div
19×distribute-lft-neg-out sqrt-unprod
18×rem-cube-cbrt unpow-prod-up rem-square-sqrt sum-cubes
13×distribute-rgt1-in
12×associate--l- rem-cbrt-cube
11×neg-sub0
10×exp-diff unpow1/3
8×sqrt-pow2 log-rec tan-quot
7×neg-log
6×associate--r-
5×distribute-lft1-in count-2
4×diff-cos
3×distribute-neg-out cos-diff sin-mult exp-to-pow
2×cos-sum mul-1-neg pow3 distribute-neg-in
1×exp-neg pow-sub difference-of-sqr-1 cos-mult

localize9.6s (1.1%)

bsearch4.7s (0.5%)

end4.0ms (0.0%)