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

simplify29.8min (71.8%)

sample5.7min (13.9%)

Algorithm
539×intervals
Results
1.9min2667449×body80valid
31.5s525162×body80nan
19.8s47922×body1280valid
11.7s43652×body640valid
4.4s24621×body320valid
4.1s5869×body2560valid
1.6s13768×body160valid
208.0ms932×body1280nan
186.0ms1065×body640nan
114.0ms53×body5120valid
91.0ms1641×body80overflowed
88.0ms638×body320nan
37.0ms363×body160nan

prune2.6min (6.3%)

Filtered
88135 candidates to 58000 candidates (34.2%)

regimes1.7min (4.2%)

Accuracy

Total 211.7b remaining (39.2%)

Threshold costs 29.0b (5.4%)

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

series56.6s (2.3%)

Calls

2567 calls:

552.0ms
(* (* (cbrt (/ 1 (+ (* y (+ (* y (+ b (* y (+ y a)))) c)) i))) (cbrt (/ 1 (+ (* y (+ (* y (+ b (* y (+ y a)))) c)) i)))) (+ t (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y)))
533.0ms
(cbrt (+ x (* (* y z) (- (tanh (/ t y)) (tanh (/ x y))))))
374.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))))
353.0ms
(- (+ (* x y) (* z t)) (* (+ a (* b c)) (* c i)))
346.0ms
(* (cbrt (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t))))) (/ y (cbrt (- a t))))

rewrite27.8s (1.1%)

Algorithm
909×rewrite-expression-head
Calls

2567 calls:

358.0ms
(* (/ (/ (/ (- y z) (cbrt (- a z))) (cbrt (- a z))) (* (cbrt (cbrt (- a z))) (cbrt (cbrt (- a z))))) (/ (- t x) (cbrt (cbrt (- a z)))))
213.0ms
(+ x (* (- y x) (* 6.0 z)))
109.0ms
(- x (/ (/ (- y z) (+ (- t z) 1.0)) (/ 1 a)))
99.0ms
(* (/ (/ 1 (/ (+ x y) x)) (+ x y)) (/ y (+ (+ x y) 1.0)))
92.0ms
(- y (/ (/ (+ x z) y) (/ 1 (- z x))))
Rules
36512×times-frac
35381×*-un-lft-identity
34070×add-sqr-sqrt
22677×add-cube-cbrt
11550×add-exp-log
9008×add-cbrt-cube
7936×cbrt-div
7629×cbrt-prod
7422×pow1
6899×associate-*r*
5126×associate-*l*
4200×frac-times
3937×distribute-lft-out--
3896×add-log-exp
3811×difference-of-squares
3793×sqrt-prod
3489×associate-/r*
3419×prod-exp
3063×flip-+ flip3-+
2917×cbrt-unprod
2730×associate-/r/
2709×distribute-lft-out
2680×associate-*r/
2503×div-exp
2432×flip-- flip3--
2373×associate-*l/
2247×associate-/l*
2241×pow-prod-down
1871×div-inv
1774×cbrt-undiv
1541×unswap-sqr
1482×unpow-prod-down
1217×log-prod
967×pow1/3
955×distribute-rgt-in distribute-lft-in
951×swap-sqr
887×cube-prod
860×*-commutative
750×sqrt-div
667×sqrt-pow1
646×sub-neg
534×associate-/l/
532×clear-num frac-2neg
531×frac-sub
477×sum-log
438×log-pow
351×associate-+r+
340×associate--l+
339×sqr-pow
335×pow1/2
331×pow-prod-up
319×1-exp
301×rec-exp
284×+-commutative
274×pow-sqr
269×diff-log
251×frac-add
226×exp-prod
211×associate-+l+ tanh-def
177×pow-unpow
174×pow-exp
120×pow-plus
115×rem-sqrt-square
112×pow-to-exp
111×pow2
100×div-sub
95×pow-pow
90×pow-flip
80×log-div inv-pow
70×cube-div
63×cube-mult
62×unpow3
54×distribute-rgt-neg-in associate--r+
53×distribute-lft-neg-in un-div-inv
46×unpow2
43×rem-log-exp
42×associate-+l-
36×distribute-rgt-out
34×distribute-lft-neg-out exp-sum
32×rem-cube-cbrt
31×sinh-def
30×difference-cubes
28×associate-+r-
26×distribute-rgt-out--
23×sqrt-unprod
19×cosh-def
18×rem-square-sqrt
17×unsub-neg
16×unpow-prod-up rem-cbrt-cube
15×rem-exp-log
12×exp-to-pow distribute-rgt-neg-out
10×associate--l- sub-div distribute-rgt1-in exp-diff difference-of-sqr-1
9×neg-mul-1 sqrt-pow2 pow3
8×unpow1/3
7×e-exp-1 sqrt-undiv pow-sub
6×distribute-lft1-in count-2 associate--r- tan-quot
5×diff-cos distribute-neg-frac
4×neg-sub0
3×cos-diff neg-log pow-div
2×cos-sum
1×acos-asin exp-neg cos-mult sin-mult remove-double-div

localize9.9s (0.4%)

bsearch3.7s (0.2%)

end4.0ms (0.0%)

Profiling

Loading profile data...