Date:Saturday, May 9th, 2020
Commit:05e10696 on master
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.2%)

Algorithm
539×intervals
Results
1.7m2646846×body80valid
27.6s517604×body80nan
18.7s46547×body1280valid
11.5s43417×body640valid
4.2s25051×body320valid
4.0s5574×body2560valid
1.7s13991×body160valid
179.0ms1049×body640nan
175.0ms845×body1280nan
130.0ms52×body5120valid
85.0ms1562×body80overflowed
84.0ms663×body320nan
31.0ms375×body160nan

series4.0m (27.9%)

Calls

2480 calls:

1.6s
(/ (+ 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.1s
(+ (* (- x 0.5) (* 2 (log (pow x 1/3)))) (* (- x 0.5) (log (cbrt x))))
963.0ms
(cbrt (* (/ (- y z) (- (+ t 1.0) z)) (- a x)))

prune3.4m (23.7%)

Filtered
87856 candidates to 58293 candidates (66.4%)

simplify1.2m (8.5%)

Algorithm
1433×egg-herbie

regimes51.6s (6.0%)

Accuracy

Total 199.9b remaining (39.1%)

Threshold costs 23.8b (4.6%)

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.5s (2.8%)

Algorithm
894×rewrite-expression-head
Calls

2480 calls:

247.0ms
(* (/ (/ 1 (sqrt x)) (sqrt 9.0)) (/ (/ 1.0 (sqrt x)) (sqrt 9.0)))
147.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)))))
137.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)))))
105.0ms
(/ (/ (/ (pow (/ 1 a) 1.0) (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b)))) y) (/ 1 x))
101.0ms
(* (/ (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (cbrt (* (cbrt (- a z)) (cbrt (- a z))))) (/ (- t x) (cbrt (cbrt (- a z)))))
Rules
51741×times-frac
39629×*-un-lft-identity
38997×add-sqr-sqrt
28072×add-cube-cbrt
11011×add-exp-log
8898×add-cbrt-cube
7178×pow1
5980×associate-*r*
4973×cbrt-prod
4632×unpow-prod-down
4458×associate-*l*
3921×add-log-exp
3631×associate-/r*
3596×difference-of-squares
3487×distribute-lft-out--
3207×sqrt-prod
3193×prod-exp
2735×cbrt-unprod
2642×div-inv
2604×associate-/l*
2452×div-exp
2439×distribute-lft-out
2336×cbrt-div
2229×pow-prod-down
2017×associate-/r/
1994×flip-- flip3--
1957×log-prod
1890×associate-*r/
1760×cbrt-undiv
1654×flip-+ flip3-+
1418×unswap-sqr
1392×frac-times
1377×distribute-rgt-in distribute-lft-in
1360×associate-*l/
1143×exp-sum
1095×cube-prod
907×pow1/3
865×swap-sqr
817×*-commutative
702×sub-neg
628×sqrt-div
555×sqrt-pow1
540×sqr-pow
537×clear-num frac-2neg
527×associate-/l/
508×sum-log
488×associate-+l+
425×associate-+r+
379×frac-add
350×pow-prod-up
349×associate--l+
315×diff-log
294×+-commutative
292×pow-sqr
269×1-exp
261×rec-exp
255×frac-sub
253×pow1/2
231×log-pow
134×distribute-rgt-out--
132×pow-plus
131×exp-prod
113×div-sub
111×pow2
110×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
53×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...