Date:Tuesday, May 5th, 2020
Commit:9fe10098 on separate-biginterval
Hostname:warfa with Racket 7.5
Seed:2020126
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

series6.0m (39.7%)

Calls

2542 calls:

1.7m
(- (* (+ (+ (* x y) (* z t)) (* a b)) (+ (+ (* x y) (* z t)) (* a b))) (* (* c i) (* c i)))
3.9s
(sqrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)))
3.6s
(sqrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)))
3.6s
(sqrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)))
3.6s
(sqrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)))

sample3.3m (21.7%)

Algorithm
504×intervals
Results
1.2m2239057×body80valid
25.7s494122×body80nan
17.4s43426×body1280valid
9.8s39164×body640valid
4.0s5511×body2560valid
3.7s22331×body320valid
1.3s11976×body160valid
174.0ms1073×body640nan
154.0ms830×body1280nan
123.0ms48×body5120valid
84.0ms1578×body80overflowed
76.0ms664×body320nan
25.0ms328×body160nan

prune3.1m (20.9%)

Filtered
82774 candidates to 55065 candidates (66.5%)

simplify1.3m (8.3%)

Algorithm
1408×egg-herbie

regimes52.8s (5.8%)

Accuracy

Total 66.9b remaining (21.6%)

Threshold costs 25.9b (8.4%)

4.9b65.4%System.Random.MWC.Distributions:truncatedExp from mwc-random-0.13.3.2
4.3b0%Codec.Picture.Jpg.FastDct:referenceDct from JuicyPixels-3.2.6.1
2.6b63.5%Numeric.Signal:interpolate from hsignal-0.2.7.1
2.6b0%Diagrams.TwoD.Layout.CirclePacking:approxRadius from diagrams-contrib-1.3.0.5
2.1b56%Hakyll.Web.Tags:renderTagCloud from hakyll-4.7.2.3

rewrite22.4s (2.5%)

Algorithm
904×rewrite-expression-head
Calls

2542 calls:

158.0ms
(* (/ (cbrt x) (/ (* (cbrt z) (cbrt z)) (cbrt x))) (/ (cbrt x) (/ (cbrt z) (+ y z))))
125.0ms
(* (* (/ 1 (* (* (cbrt (* (cbrt (- (+ t 1.0) z)) (cbrt (- (+ t 1.0) z)))) (cbrt (* (cbrt (- (+ t 1.0) z)) (cbrt (- (+ t 1.0) z))))) (cbrt (* (cbrt (- (+ t 1.0) z)) (cbrt (- (+ t 1.0) z)))))) (/ (- y z) (cbrt (- (+ t 1.0) z)))) (- a x))
80.0ms
(- (+ x y) (/ (/ (- z t) (* (cbrt (/ (- a t) y)) (cbrt (/ (- a t) y)))) (cbrt (/ (- a t) y))))
70.0ms
(+ x (/ 1 (/ (/ (- a t) (- z t)) y)))
63.0ms
(+ y (+ x (/ (neg (- z t)) (/ (- a t) y))))
Rules
32204×times-frac
31270×*-un-lft-identity
30821×add-sqr-sqrt
20881×add-cube-cbrt
10676×add-exp-log
8700×add-cbrt-cube
7019×pow1
6374×associate-*r*
5006×cbrt-prod
3999×add-log-exp
3875×associate-*l*
3764×sqrt-prod
3550×associate-/r*
3153×difference-of-squares
3118×distribute-lft-out--
3021×prod-exp
2531×cbrt-unprod
2301×div-exp
2240×distribute-lft-out
2155×associate-/l*
2092×pow-prod-down
2010×flip3-- flip--
1958×associate-*r/
1735×cbrt-undiv
1687×div-inv
1592×associate-/r/
1541×cbrt-div
1516×flip-+ flip3-+
1479×unswap-sqr
1414×frac-times
1361×unpow-prod-down
1352×log-prod
1296×associate-*l/
1085×distribute-rgt-in distribute-lft-in
1011×sqrt-div
891×pow1/3
810×swap-sqr
793×*-commutative
719×sub-neg
711×sqrt-pow1
585×associate-/l/
543×clear-num frac-2neg
526×sum-log
456×associate-+l+
400×cube-prod
358×sqr-pow
349×pow-unpow
346×associate-+r+
339×pow-prod-up
323×+-commutative
315×pow1/2
303×frac-add
292×diff-log
272×pow-sqr
255×associate--l+
235×1-exp
231×frac-sub
228×rec-exp
216×log-pow
189×distribute-rgt-neg-in distribute-lft-neg-in
162×unpow-prod-up
155×exp-prod
135×pow-exp
133×distribute-neg-frac
128×div-sub
118×pow-to-exp
110×pow-plus
102×unpow2
99×pow2
97×rem-sqrt-square
85×log-div
65×pow-pow
62×pow-flip
55×un-div-inv
54×inv-pow
52×associate--r+
51×cube-div rem-log-exp
46×tanh-def
45×associate-+l- distribute-rgt-neg-out
43×neg-mul-1
33×unpow3 exp-sum
32×cube-mult associate-+r-
31×pow-sub
30×sinh-def
29×exp-diff
25×distribute-rgt-out
24×unsub-neg
22×rem-cube-cbrt rem-exp-log
19×sqrt-unprod
18×rem-square-sqrt
17×cosh-def
16×distribute-rgt-out--
13×neg-sub0
11×sum-cubes associate--l-
10×distribute-lft-neg-out associate--r-
9×pow-div rem-cbrt-cube
8×distribute-rgt1-in sub-div
7×unpow1/3 sqrt-undiv tan-quot
6×distribute-lft1-in diff-cos count-2 distribute-frac-neg neg-log
5×exp-to-pow
4×exp-neg difference-of-sqr-1
3×sqrt-pow2 e-exp-1 cos-diff distribute-neg-in sin-mult
2×cos-sum cos-mult mul-1-neg

localize9.4s (1.0%)

bsearch177.0ms (0.0%)

end4.0ms (0.0%)

Profiling

Loading profile data...