Date:Monday, June 29th, 2020
Commit:8ccfdff1 on old-regraph
Hostname:debbie with Racket 7.7
Seed:2020181
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

simplify36.3hr (99.5%)

sample5.8min (0.3%)

Algorithm
537×intervals
Results
2.0min2631667×body80valid
27.1s459193×body80nan
20.3s44992×body1280valid
11.8s41830×body640valid
4.6s23938×body320valid
4.3s5828×body2560valid
1.7s13129×body160valid
197.0ms849×body1280nan
191.0ms1061×body640nan
101.0ms1512×body80overflowed
93.0ms668×body320nan
80.0ms34×body5120valid
32.0ms350×body160nan

prune2.4min (0.1%)

Filtered
84023 candidates to 60169 candidates (28.4%)

regimes1.8min (0.1%)

Accuracy

Total 189.5b remaining (36.3%)

Threshold costs 27.3b (5.2%)

16.0b48.1%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
12.6b-12.7%Linear.Matrix:det44 from linear-1.19.1.3
10.5b56%Data.Octree.Internal:octantDistance from Octree-0.5.4.2
8.0b4.2%Graphics.Rendering.Chart.Axis.Types:linMap from Chart-1.5.3
7.7b60.3%Data.Array.Repa.Algorithms.Pixel:doubleRmsOfRGB8 from repa-algorithms-3.4.0.1

series1.1min (0.1%)

Calls

2524 calls:

3.5s
(/ 1 (/ (+ (+ x t) y) (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b))))
2.5s
(- (* (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0))) (* c c))
2.3s
(+ (pow (+ (* x y) (* z t)) 3) (pow (* a b) 3))
422.0ms
(cbrt (* (+ (* y 5.0) (* (+ t (* 2 (+ y z))) x)) (+ (* y 5.0) (* (+ t (* 2 (+ y z))) x))))
416.0ms
(* (cbrt (+ (* y 5.0) (* (+ t (* 2 (+ y z))) x))) (cbrt (+ (* y 5.0) (* (+ t (* 2 (+ y z))) x))))

rewrite29.1s (0.0%)

Algorithm
886×rewrite-expression-head
Calls

2524 calls:

237.0ms
(/ (/ y (pow z y)) (/ (pow a (- t 1.0)) (exp b)))
189.0ms
(+ x (/ (- y x) (/ (/ (- a t) (* (cbrt (- z t)) (cbrt (- z t)))) (cbrt (- z t)))))
157.0ms
(/ x (/ (/ y (pow z y)) (/ (pow a (- t 1.0)) (exp b))))
119.0ms
(* (/ (/ 1.0 x) (sqrt (+ 1.0 (* z z)))) (/ (/ 1 y) (sqrt (+ 1.0 (* z z)))))
111.0ms
(- (+ x y) (/ 1 (/ (/ (- a t) y) (- z t))))
Rules
46350×times-frac
38302×add-sqr-sqrt
38284×*-un-lft-identity
26053×add-cube-cbrt
10727×add-exp-log
8699×add-cbrt-cube
6750×pow1
6083×associate-*r*
5711×cbrt-prod
5125×sqrt-prod
4268×associate-*l*
4223×associate-/r*
4173×difference-of-squares
4033×distribute-lft-out--
3926×unpow-prod-down
3833×add-log-exp
3127×prod-exp
2963×cbrt-div
2636×cbrt-unprod
2540×flip-- flip3--
2307×associate-*r/
2296×distribute-lft-out
2251×div-exp
2169×frac-times
2134×associate-/l*
2090×div-inv
2031×associate-/r/
1989×flip-+ flip3-+
1930×pow-prod-down
1798×associate-*l/
1641×cbrt-undiv
1463×unswap-sqr
1346×log-prod
1105×distribute-rgt-in distribute-lft-in
1097×sqrt-div
1045×sub-neg
1029×sqr-pow
997×swap-sqr
929×pow1/3
818×*-commutative
766×unpow-prod-up
696×associate-/l/
595×frac-sub
524×clear-num frac-2neg
483×sqrt-pow1
469×sum-log
420×associate-+r+
389×frac-add
388×associate--l+
339×pow-prod-up
326×log-pow
322×exp-prod
309×pow1/2
293×cube-prod
284×+-commutative
275×associate-+l+
273×diff-log
250×1-exp
247×pow-sqr
228×rec-exp
196×pow-unpow
144×pow-exp
137×div-sub
116×pow-plus
115×rem-sqrt-square
108×pow2
92×pow-to-exp
87×log-div
84×associate--r+
65×pow-flip
62×pow-pow
59×distribute-lft-neg-in distribute-rgt-neg-in
56×inv-pow
54×distribute-rgt-neg-out
52×exp-sum
47×distribute-rgt-out--
44×tanh-def
42×sinh-def associate-+l-
41×rem-log-exp
35×un-div-inv
32×cube-div
30×cube-mult sum-cubes
29×rem-exp-log
26×associate--r-
25×sqrt-unprod
24×rem-cube-cbrt
23×associate-+r- unpow3
21×distribute-rgt-out unsub-neg
20×sub-div
17×exp-diff
16×unpow1/3
15×associate--l- cosh-def rem-square-sqrt
11×distribute-neg-frac
9×neg-mul-1
8×pow3 tan-quot rem-cbrt-cube
7×difference-cubes sqrt-undiv distribute-rgt1-in
6×distribute-lft1-in count-2 cos-mult
5×unpow-1 sqr-cos diff-cos
4×unpow2
3×cos-diff
2×e-exp-1 cos-sum exp-to-pow pow-sub
1×distribute-lft-neg-out sin-mult

localize10.2s (0.0%)

bsearch3.7s (0.0%)

end5.0ms (0.0%)

Profiling

Loading profile data...