Date:Tuesday, June 30th, 2020
Commit:8ccfdff1 on old-regraph
Hostname:debbie with Racket 7.7
Seed:2020182
Parameters:256 points for 4 iterations
Flags:
setup:simplifyrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifyreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:doubleprecision:fallback
default

Details

simplify32.2min (74.2%)

sample5.6min (12.8%)

Algorithm
539×intervals
Results
1.9min2667449×body80valid
30.4s525162×body80nan
19.8s47922×body1280valid
11.6s43652×body640valid
4.4s24621×body320valid
4.3s5869×body2560valid
1.6s13768×body160valid
198.0ms932×body1280nan
184.0ms1065×body640nan
119.0ms53×body5120valid
96.0ms1641×body80overflowed
87.0ms638×body320nan
30.0ms363×body160nan

prune2.4min (5.4%)

Filtered
90417 candidates to 58747 candidates (35.0%)

regimes1.7min (3.8%)

Accuracy

Total 222.5b remaining (40.3%)

Threshold costs 27.1b (4.9%)

20.6b36.4%Data.Array.Repa.Algorithms.Pixel:doubleRmsOfRGB8 from repa-algorithms-3.4.0.1
12.7b-18.1%Linear.Matrix:det44 from linear-1.19.1.3
11.9b61.7%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
9.8b58.6%Data.Octree.Internal:octantDistance from Octree-0.5.4.2
9.7b15.2%Linear.Matrix:det33 from linear-1.19.1.3

series54.9s (2.1%)

Calls

2557 calls:

695.0ms
(cbrt (+ x (* (* y z) (- (tanh (/ t y)) (tanh (/ x y))))))
366.0ms
(/ (* (cbrt (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b))) (cbrt (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)))) (* (cbrt (+ (+ x t) y)) (cbrt (+ (+ x t) y))))
360.0ms
(- (+ (* x y) (* z t)) (* (+ a (* b c)) (* c i)))
325.0ms
(* (cbrt (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t))))) (/ y (cbrt (- a t))))
284.0ms
(cbrt (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)))

rewrite27.0s (1.0%)

Algorithm
910×rewrite-expression-head
Calls

2557 calls:

177.0ms
(* (* a 27.0) b)
112.0ms
(- x (/ (/ (- y z) (+ (- t z) 1.0)) (/ 1 a)))
89.0ms
(/ (* (cbrt (- (* x x) (* (/ 1.0 3.0) (/ 1.0 3.0)))) (cbrt (- (* x x) (* (/ 1.0 3.0) (/ 1.0 3.0))))) (* (* (cbrt (* (cbrt (+ x (/ 1.0 3.0))) (cbrt (+ x (/ 1.0 3.0))))) (cbrt (* (cbrt (+ x (/ 1.0 3.0))) (cbrt (+ x (/ 1.0 3.0)))))) (cbrt (* (cbrt (+ x (/ 1.0 3.0))) (cbrt (+ x (/ 1.0 3.0)))))))
89.0ms
(/ (/ (* (cbrt x) (cbrt x)) 1) (/ z (/ (cbrt x) (/ y (sin y)))))
81.0ms
(+ y (/ (/ (+ x z) y) (/ 1 (- x z))))
Rules
42704×times-frac
37395×*-un-lft-identity
36606×add-sqr-sqrt
25089×add-cube-cbrt
12042×add-exp-log
10691×cbrt-div
9182×add-cbrt-cube
7614×cbrt-prod
7159×pow1
6865×associate-*r*
5853×frac-times
4556×associate-*l*
4106×sqrt-prod
3914×distribute-lft-out--
3891×add-log-exp
3886×difference-of-squares
3785×associate-/r*
3707×prod-exp
3405×flip-- flip3--
3165×associate-*r/
3031×flip-+ flip3-+
2959×cbrt-unprod
2911×associate-*l/
2774×associate-/r/
2648×div-exp
2489×distribute-lft-out
2270×div-inv
2207×associate-/l*
2099×pow-prod-down
1812×cbrt-undiv
1598×unpow-prod-down
1523×unswap-sqr
1248×log-prod
1025×swap-sqr
964×distribute-rgt-in distribute-lft-in
954×pow1/3
897×cube-prod
867×*-commutative
774×sqrt-div
641×sub-neg
537×associate-/l/
529×clear-num frac-2neg
527×frac-sub
507×sqrt-pow1
474×sum-log
434×log-pow
362×1-exp
341×sqr-pow
339×associate--l+
336×rec-exp
335×associate-+r+
303×pow1/2
302×pow-prod-up
283×+-commutative
274×diff-log
256×pow-sqr
239×exp-prod
211×tanh-def
208×associate-+l+
192×pow-unpow
189×frac-add
185×pow-exp
131×distribute-rgt-neg-in
130×distribute-lft-neg-in
121×rem-sqrt-square
117×pow-plus
116×pow-to-exp
110×pow2
108×div-sub
97×pow-pow
83×pow-flip
76×cube-div log-div
73×inv-pow
72×associate--r+
66×cube-mult
65×unpow3
56×un-div-inv
46×rem-log-exp
42×associate-+l-
40×unpow2
38×distribute-rgt-out
34×exp-sum rem-cube-cbrt
31×sinh-def
30×difference-cubes
29×neg-mul-1
25×associate-+r-
23×distribute-lft-neg-out
21×sqrt-unprod unsub-neg
20×distribute-rgt-neg-out
19×cosh-def
17×rem-cbrt-cube distribute-rgt-out--
16×unpow-prod-up rem-square-sqrt
15×rem-exp-log
11×sqrt-undiv
10×associate--l- sqrt-pow2 exp-to-pow distribute-rgt1-in
9×unpow1/3 sub-div pow3 exp-diff
8×neg-sub0
7×e-exp-1 associate--r- pow-sub
6×distribute-lft1-in count-2 tan-quot distribute-neg-frac
5×diff-cos neg-log
3×cos-diff
2×cos-sum distribute-frac-neg sin-mult
1×acos-asin cos-mult remove-double-div

localize9.7s (0.4%)

bsearch3.9s (0.1%)

end3.0ms (0.0%)

Profiling

Loading profile data...