Date:Saturday, May 9th, 2020
Commit:e0473403 on bug-fix
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.8m2646846×body80valid
27.4s517604×body80nan
18.6s46547×body1280valid
11.2s43417×body640valid
4.2s25051×body320valid
4.0s5574×body2560valid
1.6s13991×body160valid
172.0ms845×body1280nan
168.0ms1049×body640nan
133.0ms52×body5120valid
85.0ms1562×body80overflowed
79.0ms663×body320nan
30.0ms375×body160nan

series4.1m (28.5%)

Calls

2482 calls:

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) (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))))
802.0ms
(cbrt (* (/ (- y z) (- (+ t 1.0) z)) (- a x)))

prune3.4m (23.4%)

Filtered
87840 candidates to 58428 candidates (66.5%)

simplify1.2m (8.5%)

Algorithm
1434×egg-herbie

regimes51.9s (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.8s (2.8%)

Algorithm
895×rewrite-expression-head
Calls

2482 calls:

469.0ms
(* (/ (/ 1 (sqrt x)) (sqrt 9.0)) (/ (/ 1.0 (sqrt x)) (sqrt 9.0)))
204.0ms
(/ (+ x (/ y (/ t z))) (+ (+ a 1.0) (/ y (/ t b))))
199.0ms
(* x (- (* y z) (* t a)))
141.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)))))
Rules
51629×times-frac
39650×*-un-lft-identity
38899×add-sqr-sqrt
28001×add-cube-cbrt
10986×add-exp-log
8887×add-cbrt-cube
7193×pow1
5971×associate-*r*
4948×cbrt-prod
4639×unpow-prod-down
4444×associate-*l*
3945×add-log-exp
3602×difference-of-squares associate-/r*
3493×distribute-lft-out--
3275×sqrt-prod
3187×prod-exp
2733×cbrt-unprod
2636×div-inv
2593×associate-/l*
2475×distribute-lft-out
2439×div-exp
2336×cbrt-div
2231×pow-prod-down
2025×associate-/r/
2001×flip-- flip3--
1960×log-prod
1941×associate-*r/
1752×cbrt-undiv
1702×flip-+ flip3-+
1405×unswap-sqr
1403×frac-times
1381×distribute-rgt-in distribute-lft-in
1367×associate-*l/
1143×exp-sum
1102×cube-prod
900×swap-sqr
898×pow1/3
818×*-commutative
705×sub-neg
700×sqrt-div
562×sqrt-pow1
541×sqr-pow
533×clear-num frac-2neg
529×associate-/l/
518×sum-log
491×associate-+l+
432×associate-+r+
379×frac-add
353×pow-prod-up
349×associate--l+
318×diff-log
300×+-commutative
293×pow-sqr
291×frac-sub
266×1-exp
260×pow1/2
258×rec-exp
235×log-pow
135×distribute-rgt-out--
132×pow-plus
131×exp-prod
113×div-sub
111×pow2 pow-exp
94×pow-unpow
86×log-div
83×rem-sqrt-square
74×pow-to-exp tanh-def
73×associate--r+
68×pow-flip
59×inv-pow
55×rem-log-exp
54×associate-+l- unpow2
51×sum-cubes
45×cube-div distribute-rgt-neg-out sinh-def
40×pow-pow
39×un-div-inv
34×unpow3 cube-mult
29×associate-+r-
28×rem-cube-cbrt rem-exp-log
24×distribute-rgt-out
23×exp-diff
22×unsub-neg
21×sub-div
19×difference-cubes associate--r-
17×sqrt-unprod
16×associate--l- rem-square-sqrt
15×distribute-rgt-neg-in
14×cosh-def
12×cos-diff
11×distribute-lft-neg-in
10×rem-cbrt-cube
8×cos-sum neg-sub0
7×tan-quot log-rec
6×distribute-rgt1-in diff-cos
5×unpow1/3 distribute-lft1-in count-2 neg-log neg-mul-1
4×distribute-lft-neg-out exp-to-pow
2×sqrt-pow2 exp-neg mul-1-neg
1×pow3 sqrt-undiv

localize9.2s (1.1%)

bsearch6.3s (0.7%)

end4.0ms (0.0%)

Profiling

Loading profile data...