Date:Wednesday, June 10th, 2020
Commit:fef9ff97 on ival-find-range
Hostname:warfa with Racket 7.5
Seed:2020162
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

sample14.8min (61.5%)

Algorithm
538×intervals
Results
1.3min2090995×body80valid
27.3s323184×body80invalid
18.2s40779×body1280valid
12.0s41080×body640valid
6.3s90114×body80nan
4.3s22545×body320valid
4.2s5727×body2560valid
2.1s6521×body1280invalid
1.5s11952×body160valid
1.3s6478×body640invalid
541.0ms3739×body320invalid
221.0ms2340×body160invalid
174.0ms1043×body640nan
166.0ms810×body1280nan
116.0ms42×body5120valid
98.0ms1562×body80overflowed
85.0ms690×body320nan
30.0ms374×body160nan
sampling

Space saved by range analysis: 0%

Space saved by search: 13.19528%

Guaranteed chance to sample good point: 76.470964%

prune4.6min (19.2%)

Filtered
90888 candidates to 59823 candidates (34.2%)

regimes1.8min (7.3%)

Accuracy

Total 193.5b remaining (35.2%)

Threshold costs 26.0b (4.7%)

11.6b63.4%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
10.7b54.9%Data.Octree.Internal:octantDistance from Octree-0.5.4.2
10.4b-27.4%Linear.Matrix:det44 from linear-1.19.1.3
10.2b8.1%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1, J
7.3b62.5%Data.Array.Repa.Algorithms.Pixel:doubleRmsOfRGB8 from repa-algorithms-3.4.0.1

simplify1.3min (5.3%)

Algorithm
1421×egg-herbie

series57.5s (4.0%)

Calls

2488 calls:

3.3s
(/ 1 (/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)))
2.3s
(/ (* (* y z) (- (pow (tanh (/ t y)) 3) (pow (tanh (/ x y)) 3))) (+ (* (tanh (/ t y)) (tanh (/ t y))) (+ (* (tanh (/ x y)) (tanh (/ x y))) (* (tanh (/ t y)) (tanh (/ x y))))))
1.9s
(+ (pow (* a b) 3) (pow (+ (* x y) (* z t)) 3))
727.0ms
(sqrt (* (- y z) (- t x)))
724.0ms
(sqrt (* (- y z) (- t x)))

rewrite23.5s (1.6%)

Algorithm
883×rewrite-expression-head
Calls

2488 calls:

301.0ms
(/ (* (* y z) (- (pow (tanh (/ t y)) 3) (pow (tanh (/ x y)) 3))) (+ (* (tanh (/ t y)) (tanh (/ t y))) (+ (* (tanh (/ x y)) (tanh (/ x y))) (* (tanh (/ t y)) (tanh (/ x y))))))
211.0ms
(- (/ x (- z y)) (/ y (- z y)))
96.0ms
(+ (/ (/ 60.0 (- z t)) (/ 1 (- x y))) (* a 120.0))
92.0ms
(log (- 1.0 (/ (/ (- x y) (sqrt (- 1.0 y))) (sqrt (- 1.0 y)))))
91.0ms
(- 1.0 (/ (/ (- x y) (sqrt (- 1.0 y))) (sqrt (- 1.0 y))))
Rules
46773×times-frac
39912×*-un-lft-identity
37509×add-sqr-sqrt
26623×add-cube-cbrt
11437×add-exp-log
8492×add-cbrt-cube
7742×frac-times
7590×sqrt-prod
7458×frac-add
6621×pow1
6111×associate-*r*
5474×associate-/r/
5465×tanh-def
5383×cbrt-prod
4194×associate-*l/
3866×distribute-lft-out--
3851×difference-of-squares
3815×add-log-exp
3701×associate-/r*
3622×associate-*r/
3587×associate-*l*
3431×prod-exp
3040×div-exp
3009×distribute-lft-out
2705×flip-- flip3--
2692×associate-/l*
2459×cbrt-unprod
2207×cbrt-div
2138×div-inv
1894×pow-prod-down
1787×unpow-prod-down
1747×cbrt-undiv
1658×log-prod
1648×flip-+ flip3-+
1306×unswap-sqr
1273×distribute-rgt-in distribute-lft-in
993×pow1/3
937×swap-sqr
808×sqrt-div
767×*-commutative
637×sub-neg
604×sqrt-pow1
579×frac-sub
555×pow-exp
527×associate-/l/
524×clear-num frac-2neg
484×cube-prod
468×sum-log
448×1-exp
403×associate-+l+
374×associate-+r+
346×pow-prod-up
316×rec-exp
300×+-commutative
283×pow1/2
270×diff-log
268×pow-sqr
262×pow-to-exp
245×sqr-pow
244×associate--l+
243×exp-sum
196×log-pow
130×distribute-lft-neg-in distribute-rgt-neg-in
119×div-sub
117×pow-plus
114×pow-unpow
106×pow2
105×unpow2
97×distribute-lft-neg-out
96×rem-sqrt-square
88×log-rec
84×cube-div
78×pow-flip
72×inv-pow
67×log-div
58×associate--r+
56×exp-diff
51×distribute-rgt-neg-out
50×un-div-inv
48×unsub-neg pow-pow
47×rem-log-exp
45×exp-prod
44×associate-+r-
39×sinh-def
37×associate-+l-
36×distribute-rgt-out--
35×cube-mult unpow3
30×neg-mul-1
27×distribute-neg-out
22×cosh-def rem-cube-cbrt
21×distribute-rgt-out
18×sqrt-unprod
15×rem-square-sqrt
14×sub-div associate--r- rem-cbrt-cube
13×sum-cubes
11×associate--l-
9×rem-exp-log
7×distribute-neg-frac
6×distribute-lft1-in diff-cos unpow1/3 distribute-rgt1-in
5×neg-sub0 count-2
3×cos-diff exp-to-pow
2×cos-sum sqrt-undiv neg-log tan-quot distribute-frac-neg sin-mult
1×difference-cubes sqrt-pow2 cos-mult remove-double-div

localize9.4s (0.7%)

bsearch4.8s (0.3%)

end5.0ms (0.0%)

Profiling

Loading profile data...