Date:Tuesday, February 25th, 2020
Commit:61e80a61 on faster-rr
Hostname:warfa with Racket 7.5
Seed:2020056
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.7m (30.1%)

Calls

2644 calls:

3.8s
(sqrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)))
3.7s
(sqrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)))
3.1s
(/ (* (cbrt (- (* (+ (* x y) (* z t)) (+ (* x y) (* z t))) (* (* a b) (* a b)))) (cbrt (- (* (+ (* x y) (* z t)) (+ (* x y) (* z t))) (* (* a b) (* a b))))) (* (cbrt (- (+ (* x y) (* z t)) (* a b))) (cbrt (- (+ (* x y) (* z t)) (* a b)))))
1.6s
(sqrt (* (- y z) (- t x)))
1.6s
(sqrt (* (- y z) (- t x)))

prune4.3m (27.6%)

sample3.7m (24.0%)

Algorithm
539×intervals
Results
1.4m2654453×body80valid
21.0s521585×body80nan
17.8s47223×body1280valid
9.8s43513×body640valid
4.2s5665×body2560valid
3.5s24483×body320valid
1.3s13888×body160valid
730.0ms1508×body10240exit
102.0ms40×body5120valid
97.0ms662×body640nan
90.0ms489×body1280nan
47.0ms449×body320nan
15.0ms222×body160nan

simplify1.3m (8.3%)

Algorithm
1449×egg-herbie

regimes53.6s (5.7%)

Accuracy

Total 202.4b remaining (37.1%)

Threshold costs 25.2b (4.6%)

13.5b56.7%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
11.6b54.1%Data.Array.Repa.Algorithms.Pixel:doubleRmsOfRGB8 from repa-algorithms-3.4.0.1
11.0b36%AI.Clustering.Hierarchical.Internal:ward from clustering-0.2.1
10.9b-4.2%Linear.Matrix:det44 from linear-1.19.1.3
10.3b57.3%Data.Octree.Internal:octantDistance from Octree-0.5.4.2

rewrite25.5s (2.7%)

Algorithm
910×rewrite-expression-head
Calls

2644 calls:

208.0ms
(* (* (* (cbrt (- z t)) (cbrt (- z t))) y) (/ (cbrt (- z t)) (- a t)))
146.0ms
(* (/ (/ (sqrt 2.0) (* (cbrt (- y t)) (cbrt (- y t)))) z) (/ x (/ (cbrt (- y t)) (sqrt 2.0))))
130.0ms
(* (/ (+ (sqrt x) (sqrt 1.0)) (sqrt (+ (+ x 1.0) (* 4.0 (sqrt x))))) (/ 6.0 (/ (sqrt (+ (+ x 1.0) (* 4.0 (sqrt x)))) (- (sqrt x) (sqrt 1.0)))))
125.0ms
(/ (/ y x) (/ (/ (pow (/ 1 (sqrt a)) (* 2 1.0)) (* (cbrt (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b)))) (cbrt (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b)))))) (cbrt (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b))))))
87.0ms
(* (/ (/ x (+ x y)) (+ x y)) (/ 1 (/ (+ (+ x y) 1.0) y)))
Rules
48193×times-frac
37819×*-un-lft-identity
36718×add-sqr-sqrt
26408×add-cube-cbrt
12121×add-exp-log
9052×add-cbrt-cube
7827×cbrt-prod
7470×pow1
6852×associate-*r*
6268×sqrt-prod
5815×cbrt-div
4092×associate-*l*
4091×add-log-exp
4066×frac-times
3760×flip3-- flip--
3625×associate-/r*
3589×prod-exp
3463×difference-of-squares
3431×associate-*r/
3156×unpow-prod-down
2990×distribute-lft-out
2979×associate-*l/
2971×distribute-lft-out--
2864×div-exp
2829×cbrt-unprod
2414×div-inv
2253×associate-/l*
2194×pow-prod-down
1972×associate-/r/
1913×flip-+ flip3-+
1799×cbrt-undiv
1524×log-prod
1465×unswap-sqr
1153×sqrt-div
1074×pow1/3
1061×distribute-rgt-in distribute-lft-in
960×frac-sub
911×swap-sqr
819×*-commutative
660×associate-/l/
657×sub-neg
619×sqrt-pow1
551×cube-prod
521×clear-num frac-2neg
516×sum-log
456×sqr-pow
451×exp-sum
429×pow-prod-up
370×frac-add
340×pow1/2
320×pow-sqr
317×1-exp
316×associate--l+
308×diff-log
303×rec-exp
283×+-commutative
267×associate-+l+ pow-exp
260×associate-+r+
235×log-pow
209×distribute-rgt-neg-in
207×distribute-lft-neg-in
168×exp-prod
162×pow-plus
132×pow2
122×pow-to-exp
114×cube-div
113×rem-sqrt-square
103×pow-unpow
98×pow-pow
96×div-sub
83×distribute-rgt-out--
81×pow-flip
76×tanh-def unpow2
73×inv-pow log-div
66×rem-log-exp
60×associate--r+
47×cosh-def
45×unpow3 cube-mult
40×distribute-rgt-neg-out associate-+l-
37×un-div-inv
35×associate-+r-
30×rem-cube-cbrt
26×sub-div sinh-def
25×difference-cubes
24×distribute-rgt-out
23×sqrt-unprod
20×unsub-neg
19×sum-cubes
17×rem-square-sqrt neg-mul-1
16×rem-cbrt-cube
15×exp-diff
14×distribute-lft-neg-out
13×rem-exp-log
11×unpow1/3
10×associate--l-
9×neg-sub0
7×log-rec diff-cos distribute-neg-frac exp-to-pow
6×neg-log distribute-rgt1-in difference-of-sqr-1
5×distribute-lft1-in count-2
4×sqrt-pow2 sin-mult associate--r-
3×cos-diff sqrt-undiv distribute-frac-neg
2×pow3 cos-sum tan-quot
1×cos-mult

localize10.2s (1.1%)

bsearch3.9s (0.4%)

end5.0ms (0.0%)