Date:Saturday, May 9th, 2020
Commit:4f3ba49d on doc-tweaks
Hostname:warfa with Racket 7.5
Seed:2020130
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

sample4.2m (29.0%)

Algorithm
539×intervals
Results
1.7m2646846×body80valid
27.3s517604×body80nan
18.3s46547×body1280valid
10.7s43417×body640valid
4.1s25051×body320valid
4.0s5574×body2560valid
1.5s13991×body160valid
169.0ms1049×body640nan
168.0ms845×body1280nan
132.0ms52×body5120valid
84.0ms1562×body80overflowed
79.0ms663×body320nan
32.0ms375×body160nan

series4.0m (28.2%)

Calls

2481 calls:

1.7s
(/ (+ 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) (neg 5.0)) (+ 3.0 (sqrt 5.0))) 2.0) (cos y)))))
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)))))
1.2s
(/ (+ (* x y) (* z (- t a))) (* (cbrt (+ y (* z (- b y)))) (cbrt (+ y (* z (- b y))))))
1.0s
(+ (* (- x 0.5) (* 2 (log (pow x 1/3)))) (* (- x 0.5) (log (cbrt x))))
953.0ms
(+ (* (- x 0.5) (* 2 (log (cbrt x)))) (* (- x 0.5) (log (cbrt x))))

prune3.4m (23.5%)

Filtered
87900 candidates to 58329 candidates (66.4%)

simplify1.3m (8.7%)

Algorithm
1434×egg-herbie

regimes51.6s (6.0%)

Accuracy

Total 200.0b remaining (39.1%)

Threshold costs 23.8b (4.7%)

14.3b-33%Linear.Matrix:det44 from linear-1.19.1.3
12.6b60.4%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
9.6b58.3%Data.Octree.Internal:octantDistance from Octree-0.5.4.2
9.2b54%AI.Clustering.Hierarchical.Internal:ward from clustering-0.2.1
7.4b61.6%Data.Array.Repa.Algorithms.Pixel:doubleRmsOfRGB8 from repa-algorithms-3.4.0.1

rewrite24.1s (2.8%)

Algorithm
895×rewrite-expression-head
Calls

2481 calls:

242.0ms
(* (/ (/ 1 (sqrt x)) (sqrt 9.0)) (/ (/ 1.0 (sqrt x)) (sqrt 9.0)))
186.0ms
(- 1.0 (/ (- x y) (- 1.0 y)))
159.0ms
(/ (- (pow (/ x (- z y)) 3) (pow (/ y (- z y)) 3)) (+ (* (/ y (- z y)) (+ (/ y (- z y)) (/ x (- z y)))) (* (/ x (- z y)) (/ x (- z y)))))
114.0ms
(/ (- (pow (/ x (+ x y)) 3) (pow (/ y (+ x y)) 3)) (+ (* (/ y (+ x y)) (+ (/ y (+ x y)) (/ x (+ x y)))) (* (/ x (+ x y)) (/ x (+ x y)))))
103.0ms
(/ (/ (/ (pow (/ 1 a) 1.0) (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b)))) y) (/ 1 x))
Rules
51741×times-frac
39634×*-un-lft-identity
39010×add-sqr-sqrt
28079×add-cube-cbrt
11006×add-exp-log
8893×add-cbrt-cube
7146×pow1
5986×associate-*r*
4973×cbrt-prod
4632×unpow-prod-down
4468×associate-*l*
3914×add-log-exp
3631×associate-/r*
3596×difference-of-squares
3487×distribute-lft-out--
3207×sqrt-prod
3188×prod-exp
2730×cbrt-unprod
2642×div-inv
2604×associate-/l*
2452×div-exp
2439×distribute-lft-out
2336×cbrt-div
2215×pow-prod-down
2017×associate-/r/
1995×flip-- flip3--
1957×log-prod
1900×associate-*r/
1760×cbrt-undiv
1656×flip-+ flip3-+
1421×unswap-sqr
1401×distribute-rgt-in distribute-lft-in
1392×frac-times
1360×associate-*l/
1143×exp-sum
1095×cube-prod
907×pow1/3
864×swap-sqr
819×*-commutative
713×sub-neg
628×sqrt-div
555×sqrt-pow1
540×sqr-pow
537×clear-num frac-2neg
527×associate-/l/
507×sum-log
486×associate-+l+
439×associate-+r+
379×frac-add
348×associate--l+
346×pow-prod-up
311×diff-log
295×+-commutative
288×pow-sqr
269×1-exp
261×rec-exp
255×frac-sub
253×pow1/2
231×log-pow
134×distribute-rgt-out--
131×exp-prod
130×pow-plus
113×div-sub
110×pow2 pow-exp
91×pow-unpow
86×log-div
84×rem-sqrt-square
74×tanh-def
73×pow-to-exp associate--r+
71×pow-flip
60×inv-pow
55×rem-log-exp
54×unpow2
52×associate-+l-
51×sum-cubes
45×distribute-rgt-neg-out sinh-def
43×cube-div
39×un-div-inv
37×pow-pow
33×unpow3 cube-mult
28×rem-exp-log associate-+r-
27×rem-cube-cbrt
24×distribute-rgt-out
23×exp-diff
22×unsub-neg
19×difference-cubes associate--r-
17×sub-div
16×sqrt-unprod associate--l-
15×rem-square-sqrt
14×cosh-def
12×cos-diff
11×distribute-lft-neg-in distribute-rgt-neg-in
10×rem-cbrt-cube
8×cos-sum
7×neg-sub0 tan-quot log-rec
6×distribute-rgt1-in diff-cos
5×unpow1/3 distribute-lft1-in count-2 neg-mul-1
4×distribute-lft-neg-out neg-log exp-to-pow
2×exp-neg mul-1-neg
1×sqrt-pow2 pow3 sqrt-undiv

localize9.2s (1.1%)

bsearch6.3s (0.7%)

end5.0ms (0.0%)

Profiling

Loading profile data...