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: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.3m (29.8%)

Calls

2548 calls:

6.2s
(/ (+ (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) c) (sqrt (- (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) c)))
3.5s
(- (* (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0))) (* c c))
1.4s
(/ (- (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) c) (sqrt (- (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) c)))
1.4s
(sqrt (- (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) c))
1.2s
(/ (+ 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.2m (29.2%)

Algorithm
539×intervals
Results
1.7m2659739×body80valid
28.6s533442×body80nan
19.1s47382×body1280valid
10.8s43598×body640valid
4.2s25445×body320valid
3.9s5477×body2560valid
1.5s13577×body160valid
170.0ms1028×body640nan
168.0ms849×body1280nan
161.0ms62×body5120valid
94.0ms1550×body80overflowed
79.0ms644×body320nan
27.0ms342×body160nan

prune3.1m (22.0%)

Filtered
84709 candidates to 55641 candidates (65.7%)

simplify1.2m (8.5%)

Algorithm
1431×egg-herbie

regimes50.9s (5.9%)

Accuracy

Total 218.5b remaining (39%)

Threshold costs 27.1b (4.8%)

18.8b40%FRP.Yampa.Vector3:vector3Rho from Yampa-0.10.2
17.5b15.5%AI.Clustering.Hierarchical.Internal:ward from clustering-0.2.1
13.5b57%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
12.7b-16.2%Linear.Matrix:det44 from linear-1.19.1.3
10.3b56.7%Data.Octree.Internal:octantDistance from Octree-0.5.4.2

rewrite23.3s (2.7%)

Algorithm
892×rewrite-expression-head
Calls

2548 calls:

199.0ms
(pow (* (- 1.0 x) z) 3)
116.0ms
(+ x (/ 1 (/ (/ (- a t) (- z t)) (- y x))))
106.0ms
(* (/ (* (cbrt x) (cbrt x)) (/ z (sqrt 2.0))) (/ (cbrt x) (/ (- y t) (sqrt 2.0))))
104.0ms
(+ (/ (/ 60.0 (- z t)) (/ 1 (- x y))) (* a 120.0))
96.0ms
(* (/ (+ (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) c) (sqrt (- (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) c))) (/ (- (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) c) (sqrt (- (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) c))))
Rules
34752×*-un-lft-identity
33964×times-frac
32557×add-sqr-sqrt
21409×add-cube-cbrt
10924×add-exp-log
8695×add-cbrt-cube
6860×pow1
6852×associate-*r*
5394×cbrt-prod
5385×sqrt-prod
4071×associate-*l*
4034×distribute-lft-out--
3900×add-log-exp
3766×difference-of-squares
3439×associate-/r*
3210×prod-exp
2969×distribute-lft-out
2717×associate-*r/
2656×cbrt-unprod
2420×cbrt-div
2393×div-exp
2314×frac-times
2256×flip-- flip3--
2173×associate-/l*
2045×pow-prod-down
1886×associate-*l/
1843×flip-+ flip3-+
1818×associate-/r/
1784×log-prod
1686×div-inv
1637×cbrt-undiv
1445×distribute-rgt-in distribute-lft-in
1436×unswap-sqr
1167×sqrt-div
948×swap-sqr
902×pow1/3
873×unpow-prod-down
825×*-commutative
664×sub-neg
628×sqrt-pow1
611×associate-/l/
512×clear-num frac-2neg
477×associate-+l+
476×sum-log
446×associate-+r+
431×frac-sub
416×frac-add
376×associate--l+
304×cube-prod
299×+-commutative
295×1-exp
289×pow1/2 rec-exp
288×diff-log
281×log-pow
268×pow-prod-up
250×tanh-def
215×pow-sqr
214×exp-sum
202×pow-exp
166×sqr-pow
136×exp-prod
132×distribute-neg-frac
130×distribute-rgt-out
117×div-sub
115×rem-sqrt-square
103×pow-unpow
96×pow-to-exp
94×log-div
87×pow-plus
86×pow-flip
85×pow2
77×associate--r+
74×distribute-lft-neg-in distribute-rgt-neg-in
73×inv-pow
69×unpow2
67×un-div-inv
62×pow-pow
54×cube-div
51×distribute-rgt1-in
50×distribute-lft1-in
48×rem-log-exp
45×distribute-rgt-neg-out
42×unpow3 cube-mult
38×count-2
37×associate-+l-
31×cosh-def
29×rem-cube-cbrt
25×associate-+r-
24×sinh-def
23×exp-diff unsub-neg
22×distribute-rgt-out--
18×sqrt-unprod
17×sub-div
16×rem-cbrt-cube
15×rem-square-sqrt associate--r-
14×rem-exp-log
13×associate--l-
10×sum-cubes neg-mul-1
8×tan-quot
6×unpow1/3 distribute-lft-neg-out diff-cos
5×neg-sub0 log-rec
4×neg-log
3×sqrt-pow2 cos-diff sqrt-undiv
2×pow-div cos-sum distribute-neg-in difference-of-sqr-1 sin-mult cos-mult
1×exp-neg unpow-prod-up remove-double-div exp-to-pow mul-1-neg

localize9.5s (1.1%)

bsearch6.4s (0.7%)

end4.0ms (0.0%)