Date:Wednesday, May 27th, 2020
Commit:9f65fd44 on doc-updates
Hostname:warfa with Racket 7.5
Seed:2020148
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

series7.0m (30.6%)

Calls

2504 calls:

2.6s
(sqrt (+ (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) c))
2.6s
(sqrt (+ (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) c))
1.5s
(sqrt (* (- y z) (- t x)))
1.5s
(sqrt (* (- y z) (- t x)))
875.0ms
(* (cbrt (* (+ x y) (- 1.0 z))) (cbrt (* (+ x y) (- 1.0 z))))

prune6.9m (30.2%)

Filtered
96552 candidates to 68595 candidates (71.0%)

sample4.9m (21.7%)

Algorithm
537×intervals
Results
1.7m2636376×body80valid
25.1s498277×body80nan
18.8s46548×body1280valid
10.4s42307×body640valid
4.1s25061×body320valid
4.1s5761×body2560valid
1.5s13703×body160valid
184.0ms878×body1280nan
175.0ms1011×body640nan
100.0ms39×body5120valid
81.0ms1549×body80overflowed
76.0ms629×body320nan
26.0ms320×body160nan

regimes2.0m (8.6%)

Accuracy

Total 209.3b remaining (37%)

Threshold costs 27.9b (4.9%)

21.7b9.6%AI.Clustering.Hierarchical.Internal:ward from clustering-0.2.1
16.1b1.8%Linear.Matrix:det44 from linear-1.19.1.3
13.1b58.5%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
9.6b59.4%Data.Octree.Internal:octantDistance from Octree-0.5.4.2
7.6b32.6%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1, J

simplify1.3m (5.6%)

Algorithm
1419×egg-herbie

rewrite25.6s (1.9%)

Algorithm
884×rewrite-expression-head
Calls

2507 calls:

732.0ms
(/ (/ (/ 1 (cbrt (/ y (sin y)))) (cbrt (/ y (sin y)))) (cbrt (/ y (sin y))))
229.0ms
(* (/ (cbrt x) (/ z (cbrt x))) (/ (cbrt x) (/ (- y t) 2.0)))
90.0ms
(+ x (/ (/ y (- a t)) (/ 1 (- z t))))
71.0ms
(+ x (/ 1 (/ (/ (- z a) (- z t)) y)))
70.0ms
(* (/ (cbrt x) (/ z (cbrt x))) (/ (cbrt (* (cbrt x) (cbrt x))) (- y t)))
Rules
95121×times-frac
57049×*-un-lft-identity
55925×add-sqr-sqrt
45144×add-cube-cbrt
40238×cbrt-prod
10503×add-exp-log
8400×add-cbrt-cube
6834×pow1
6642×associate-*r*
4562×div-inv
3998×associate-*l*
3875×add-log-exp
3708×difference-of-squares
3612×distribute-lft-out--
3223×sqrt-prod
3073×prod-exp
2883×associate-/r*
2879×associate-/l*
2687×flip-- flip3--
2603×distribute-lft-out
2542×cbrt-unprod
2493×cbrt-div
2487×associate-*r/
2430×associate-*l/
2213×div-exp
2163×frac-times
1987×pow-prod-down
1976×associate-/r/
1762×flip-+ flip3-+
1655×log-prod
1642×cbrt-undiv
1459×unswap-sqr
1383×unpow-prod-down
1290×distribute-rgt-in distribute-lft-in
1056×sqrt-div
1045×pow1/3
868×swap-sqr
796×*-commutative
777×frac-sub
674×cube-prod
642×associate-/l/
624×sub-neg
568×sqrt-pow1
508×sum-log
483×clear-num frac-2neg
407×sqr-pow
404×associate-+r+
387×associate-+l+
340×pow-prod-up
304×+-commutative
291×pow1/2
282×log-pow
267×pow-sqr diff-log
249×associate--l+
238×1-exp rec-exp
219×frac-add
162×pow-unpow
148×unpow2
144×pow-exp
129×div-sub
110×pow-plus
107×pow2
106×pow-to-exp
101×exp-prod
85×pow-pow
81×log-div
79×rem-sqrt-square
78×exp-sum
77×associate--r+
70×pow-flip
69×distribute-rgt-neg-in
67×cube-div distribute-lft-neg-in
57×inv-pow
55×unpow3 cube-mult
53×distribute-rgt-neg-out rem-log-exp
50×distribute-rgt-out-- tanh-def
42×associate-+l-
41×un-div-inv
40×rem-cube-cbrt
29×associate-+r- distribute-rgt-out
26×unsub-neg
25×sinh-def
24×neg-mul-1 distribute-neg-frac
23×sub-div
22×cosh-def
21×rem-cbrt-cube
20×sqrt-unprod
17×rem-exp-log
15×difference-cubes rem-square-sqrt
14×associate--l-
12×exp-diff
11×neg-sub0
10×distribute-lft-neg-out
9×associate--r-
7×neg-log distribute-lft1-in log-rec
6×pow-div diff-cos
5×sqrt-pow2 sum-cubes unpow1/3 distribute-rgt1-in count-2 exp-to-pow
3×cos-diff
2×exp-neg difference-of-sqr-1 cos-sum tan-quot mul-1-neg
1×sin-cos-mult sqrt-undiv sin-mult cos-mult

bsearch9.7s (0.7%)

localize9.7s (0.7%)

end5.0ms (0.0%)

Profiling

Loading profile data...