Date:Friday, May 1st, 2020
Commit:b6776165 on joint-profile
Hostname:warfa with Racket 7.5
Seed:2020122
Parameters:256 points for 4 iterations
Flags:
setup:simplifyrules:numericsrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:complexrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifyreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:doubleprecision:fallback
+o rules:numerics

Details

series15.2m (60.0%)

Calls

2375 calls:

5.7s
(cbrt (* (/ (- y z) (- a z)) (- t x)))
5.7s
(cbrt (* (/ (- y z) (- a z)) (- t x)))
5.6s
(cbrt (* (/ (- y z) (- a z)) (- t x)))
5.6s
(cbrt (* (/ (- y z) (- a z)) (- t x)))
5.5s
(cbrt (* (/ (- y z) (- a z)) (- t x)))

sample3.9m (15.2%)

Algorithm
538×intervals
Results
1.5m2581144×body80valid
27.3s513165×body80nan
18.9s46901×body1280valid
10.8s43182×body640valid
4.2s24868×body320valid
4.1s5340×body2560valid
1.5s13762×body160valid
184.0ms1084×body640nan
169.0ms822×body1280nan
97.0ms38×body5120valid
85.0ms1558×body80overflowed
76.0ms614×body320nan
32.0ms368×body160nan

prune3.6m (14.3%)

Filtered
92172 candidates to 59233 candidates (64.3%)

simplify1.3m (5.2%)

Algorithm
1406×egg-herbie

regimes45.5s (3.0%)

Accuracy

Total 176.4b remaining (37.1%)

Threshold costs 25.0b (5.2%)

15.1b14.3%AI.Clustering.Hierarchical.Internal:ward from clustering-0.2.1
14.4b55%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
9.9b29.8%Numeric.SpecFunctions:invIncompleteBetaWorker from math-functions-0.1.5.2, I
7.2b0%Data.Colour.Matrix:determinant from colour-2.3.3, A
6.9b13.6%Graphics.Rendering.Chart.Axis.Types:linMap from Chart-1.5.3

rewrite19.9s (1.3%)

Algorithm
869×rewrite-expression-head
Calls

2377 calls:

72.0ms
(- (cbrt (pow (/ x (+ x y)) 3)) (/ y (+ x y)))
60.0ms
(+ x (/ (/ y t) (/ 1 (- z x))))
59.0ms
(- (/ x (- 2.0 (+ x y))) (/ y (- 2.0 (+ x y))))
59.0ms
(/ (/ 1 x) (/ y (/ (- x y) 2.0)))
54.0ms
(* (cbrt (/ (- x y) (- 2.0 (+ x y)))) (cbrt (/ (- x y) (- 2.0 (+ x y)))))
Rules
49736×times-frac
45664×*-un-lft-identity
42842×add-sqr-sqrt
32555×add-cube-cbrt
10817×prod-diff
9114×add-exp-log
7413×cbrt-prod
7332×add-cbrt-cube
6272×sqrt-prod
5641×pow1
4835×associate-*r*
4019×distribute-lft-out--
3696×difference-of-squares
3225×add-log-exp
2967×associate-*l*
2805×div-inv
2749×distribute-rgt-in distribute-lft-in
2736×distribute-lft-out
2729×associate-/r*
2439×prod-exp
2405×associate-/l*
2384×log1p-expm1-u
2383×expm1-log1p-u
2272×unpow-prod-down
2031×associate-/r/
1998×cbrt-unprod
1981×div-exp
1479×cbrt-undiv
1341×log-prod
1339×flip-- flip3--
1333×pow-prod-down
1326×cbrt-div
1155×unswap-sqr
1060×flip-+ flip3-+
990×associate-*r/
935×cube-prod
921×swap-sqr
901×pow1/3
730×frac-times
728×associate-*l/
700×fma-neg
670×fma-def
618×*-commutative
585×fma-udef
521×associate-+r+
510×associate-+l+
508×associate--l+
477×clear-num frac-2neg
439×sub-neg
430×exp-sum
393×sqrt-pow1
380×log-pow
378×associate-/l/
326×sqr-pow
295×sqrt-div
269×sum-log
256×pow-prod-up
249×pow1/2
226×1-exp
218×rec-exp
208×distribute-lft-neg-in distribute-rgt-neg-in
207×pow-sqr
198×diff-log
159×+-commutative
152×unpow2
143×pow-exp
135×exp-prod
119×pow-unpow
106×div-sub
104×pow-plus
101×rem-sqrt-square
100×frac-sub
95×pow-to-exp pow2 associate--r+
80×frac-add
76×pow-pow
74×neg-mul-1
73×unpow3 cube-mult
72×pow-flip
68×log-div
55×inv-pow
53×rem-log-exp
42×un-div-inv
32×cosh-def distribute-rgt-neg-out
31×rem-cube-cbrt
30×sinh-def
28×tanh-def
25×hypot-def
24×associate-+l-
23×cos-sum
21×cube-div rem-exp-log
18×sqrt-unprod
17×distribute-rgt-out
16×unsub-neg
15×rem-square-sqrt
13×distribute-lft-neg-out expm1-log1p expm1-udef distribute-rgt-out-- rem-cbrt-cube
12×associate-+r-
11×log1p-udef
10×log1p-expm1
8×associate--l- neg-sub0 associate--r-
7×exp-diff unpow1/3 sub-div
6×hypot-udef sum-cubes
5×sqrt-pow2 distribute-lft1-in distribute-rgt1-in count-2 difference-of-sqr-1 distribute-frac-neg
4×sqrt-undiv tan-quot
3×cos-diff sin-mult cos-mult
2×pow3 diff-cos exp-to-pow
1×expm1-def exp-neg neg-log mul-1-neg

localize9.3s (0.6%)

bsearch3.8s (0.2%)

end6.0ms (0.0%)

Profiling

Loading profile data...