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

simplify14.3min (55.1%)

sample5.7min (22.1%)

Algorithm
539×intervals
Results
1.9min2667449×body80valid
31.3s525162×body80nan
20.1s47922×body1280valid
11.6s43652×body640valid
4.6s24621×body320valid
4.1s5869×body2560valid
1.6s13768×body160valid
203.0ms932×body1280nan
188.0ms1065×body640nan
120.0ms53×body5120valid
98.0ms1641×body80overflowed
86.0ms638×body320nan
31.0ms363×body160nan

prune2.5min (9.5%)

Filtered
90341 candidates to 58710 candidates (35.0%)

regimes1.8min (6.9%)

Accuracy

Total 219.5b remaining (39.8%)

Threshold costs 26.3b (4.8%)

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.3b51.5%AI.Clustering.Hierarchical.Internal:ward from clustering-0.2.1

series57.7s (3.7%)

Calls

2569 calls:

583.0ms
(cbrt (+ x (* (* y z) (- (tanh (/ t y)) (tanh (/ x y))))))
375.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))))
375.0ms
(* (cbrt (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t))))) (/ y (cbrt (- a t))))
339.0ms
(- (+ (* x y) (* z t)) (* (+ a (* b c)) (* c i)))
308.0ms
(/ (+ (* x y) (* z (- t a))) (+ y (* z (- b y))))

rewrite27.9s (1.8%)

Algorithm
910×rewrite-expression-head
Calls

2569 calls:

112.0ms
(- x (/ (/ (- y z) (+ (- t z) 1.0)) (/ 1 a)))
101.0ms
(* (/ (/ 1 (/ (+ x y) x)) (+ x y)) (/ y (+ (+ x y) 1.0)))
94.0ms
(- y (/ (/ (+ x z) y) (/ 1 (- z x))))
88.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)))))))
87.0ms
(log (/ (- (pow 1.0 3) (pow (/ (- x y) (- 1.0 y)) 3)) (+ (* (/ (- x y) (- 1.0 y)) (+ 1.0 (/ (- x y) (- 1.0 y)))) (* 1.0 1.0))))
Rules
42012×times-frac
37224×*-un-lft-identity
36268×add-sqr-sqrt
24791×add-cube-cbrt
12304×add-exp-log
10743×cbrt-div
9254×add-cbrt-cube
7884×cbrt-prod
7308×pow1
6711×associate-*r*
5876×frac-times
4760×associate-*l*
4101×sqrt-prod
3922×prod-exp
3866×add-log-exp
3824×distribute-lft-out--
3791×difference-of-squares
3678×associate-/r*
3382×flip-- flip3--
3240×associate-*r/
3081×flip-+ flip3-+
3065×cbrt-unprod
2891×associate-*l/
2733×associate-/r/
2698×div-exp
2656×distribute-lft-out
2202×div-inv
2179×associate-/l*
2159×pow-prod-down
1828×cbrt-undiv
1596×unpow-prod-down
1544×unswap-sqr
1257×log-prod
1091×swap-sqr
1003×pow1/3
960×distribute-rgt-in distribute-lft-in
877×cube-prod
873×*-commutative
790×sqrt-div
626×sub-neg
535×associate-/l/
524×sqrt-pow1
516×clear-num frac-2neg
515×frac-sub
472×sum-log
447×log-pow
376×1-exp
362×associate-+r+
347×sqr-pow
338×associate--l+
327×pow-prod-up
326×pow1/2
300×rec-exp
280×+-commutative
275×pow-sqr
260×diff-log
239×frac-add
232×exp-prod
211×tanh-def
201×pow-unpow
199×associate-+l+
191×pow-exp
125×pow-plus
122×pow-to-exp
118×pow2
115×rem-sqrt-square
112×distribute-rgt-neg-in
111×distribute-lft-neg-in
103×div-sub
100×pow-pow
80×log-div
76×cube-div
75×pow-flip
68×inv-pow
65×cube-mult
64×unpow3
56×associate--r+
51×un-div-inv
50×associate-+l- unpow2
46×rem-log-exp
41×distribute-rgt-out
36×difference-of-sqr--1
34×exp-sum rem-cube-cbrt
31×sinh-def
30×difference-cubes
26×sqrt-unprod
24×associate-+r-
23×neg-mul-1
21×distribute-rgt-neg-out
20×distribute-lft-neg-out
19×rem-square-sqrt unsub-neg
17×cosh-def rem-cbrt-cube distribute-rgt-out--
16×unpow-prod-up
15×rem-exp-log
11×sqrt-undiv exp-to-pow
10×associate--l- sqrt-pow2 sub-div distribute-rgt1-in
9×unpow1/3 pow3 exp-diff
8×difference-of-sqr-1
7×e-exp-1 pow-sub
6×distribute-lft1-in count-2 tan-quot distribute-neg-frac
5×neg-sub0 diff-cos
4×associate--r- neg-log
3×cos-diff
2×cos-sum
1×acos-asin distribute-frac-neg cos-mult sin-mult

localize10.1s (0.7%)

bsearch3.7s (0.2%)

end3.0ms (0.0%)

Profiling

Loading profile data...