Date:Friday, June 19th, 2020
Commit:f6142ecc on ival-find-range
Hostname:warfa with Racket 7.5
Seed:2020171
Parameters:256 points for 4 iterations
Flags:
setup:simplifysetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifyreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:doubleprecision:fallback
default

Details

analyze3.6min (21.3%)

Algorithm
539×search

sample3.4min (20.4%)

Algorithm
539×intervals
Results
1.3min2094608×body80valid
18.7s254946×body80invalid
18.7s40506×body1280valid
12.1s41523×body640valid
6.2s88848×body80nan
4.3s22530×body320valid
4.3s5677×body2560valid
2.0s6549×body1280invalid
1.5s11910×body160valid
1.3s6364×body640invalid
551.0ms3778×body320invalid
214.0ms2167×body160invalid
177.0ms1019×body640nan
174.0ms838×body1280nan
141.0ms50×body5120valid
83.0ms662×body320nan
48.0ms888×body80overflowed
30.0ms330×body160nan

bsearch3.3min (19.8%)

prune2.1min (12.3%)

Filtered
88454 candidates to 57148 candidates (35.4%)

regimes1.8min (10.4%)

Accuracy

Total 191.5b remaining (39%)

Threshold costs 22.7b (4.6%)

12.7b60%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
10.6b-2.1%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1, J
9.7b59%Data.Octree.Internal:octantDistance from Octree-0.5.4.2
7.4b62.5%Data.Array.Repa.Algorithms.Pixel:doubleRmsOfRGB8 from repa-algorithms-3.4.0.1
7.2b62.2%FRP.Yampa.Vector3:vector3Rho from Yampa-0.10.2

simplify1.2min (7.4%)

Algorithm
1436×egg-herbie

series52.4s (5.2%)

Calls

2538 calls:

3.7s
(/ (* (cbrt (+ (pow (* (- 1.0 x) y) 3) (pow (* x z) 3))) (cbrt (- (* (* (- 1.0 x) y) (* (- 1.0 x) y)) (* (* x z) (* x z))))) (* (cbrt (+ (* (* (- 1.0 x) y) (* (- 1.0 x) y)) (- (* (* x z) (* x z)) (* (* (- 1.0 x) y) (* x z))))) (cbrt (- (* (- 1.0 x) y) (* x z)))))
383.0ms
(cbrt (+ x (* (* y z) (- (tanh (/ t y)) (tanh (/ x y))))))
366.0ms
(- (+ (* x y) (* z t)) (* (+ a (* b c)) (* c i)))
338.0ms
(- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))
220.0ms
(* (cbrt (+ x (* (* (- y x) 6.0) (- (/ 2.0 3.0) z)))) (cbrt (+ x (* (* (- y x) 6.0) (- (/ 2.0 3.0) z)))))

rewrite24.4s (2.4%)

Algorithm
897×rewrite-expression-head
Calls

2538 calls:

495.0ms
(* (- z t) (/ (/ (/ y (cbrt (- a t))) (cbrt (- a t))) (cbrt (- a t))))
243.0ms
(+ (- x (/ y (* z 3.0))) (/ (/ (/ t z) 3.0) y))
203.0ms
(* 3 (log (cbrt t)))
121.0ms
(* (sqrt 2.0) (/ (/ x z) (/ (- y t) (sqrt 2.0))))
105.0ms
(+ x (/ (/ y (- a t)) (/ 1 (- z t))))
Rules
46271×times-frac
41441×*-un-lft-identity
38366×add-sqr-sqrt
25910×add-cube-cbrt
10552×add-exp-log
8646×cbrt-prod
8432×add-cbrt-cube
8198×associate-*r*
6590×pow1
4720×sqrt-prod
4658×distribute-lft-out--
4593×difference-of-squares
3927×add-log-exp
3728×associate-*l*
3674×associate-/r*
3356×distribute-lft-out
2889×prod-exp
2706×cbrt-div
2608×flip-- flip3--
2479×cbrt-unprod
2356×div-exp
2271×div-inv
2256×associate-/l*
2093×associate-/r/
2069×associate-*l/
1927×associate-*r/
1906×pow-prod-down
1786×flip-+ flip3-+
1702×cbrt-undiv
1631×frac-times
1517×log-prod
1385×distribute-rgt-in distribute-lft-in
1336×unswap-sqr
1324×unpow-prod-down
1023×pow1/3
920×swap-sqr
887×frac-sub
770×*-commutative
734×sqrt-pow1
730×frac-add
709×sub-neg
652×sqrt-div
585×associate-/l/
527×clear-num frac-2neg
507×cube-prod
505×exp-prod
493×sum-log
476×associate-+l+
402×associate-+r+
348×pow-prod-up
321×associate--l+
302×pow-sqr
293×sqr-pow
291×+-commutative
284×diff-log
278×1-exp
276×rec-exp
261×pow1/2
251×log-pow
206×tanh-def
158×unpow2
136×pow-exp div-sub
123×pow-unpow
120×pow-plus
112×rem-sqrt-square
111×pow2
100×pow-to-exp
76×associate--r+ unpow3
75×pow-flip
74×exp-sum
71×log-div
67×inv-pow
57×pow-pow
54×cube-div rem-log-exp
49×cube-mult
46×distribute-rgt-neg-out
40×distribute-rgt-out distribute-rgt-out--
39×un-div-inv
33×associate-+l-
26×associate-+r- unsub-neg
21×sinh-def
19×sqrt-unprod rem-exp-log
18×exp-diff rem-cube-cbrt
17×distribute-lft-neg-out
16×cosh-def
15×rem-square-sqrt
14×distribute-lft-neg-in distribute-rgt-neg-in
11×log-rec distribute-rgt1-in rem-cbrt-cube
10×associate--l-
9×associate--r-
8×difference-cubes neg-mul-1 unpow1/3 sub-div tan-quot
7×sum-cubes
6×neg-sub0
5×distribute-lft1-in sqrt-pow2 exp-to-pow count-2
4×neg-log
3×cos-diff pow3
2×cos-sum diff-cos distribute-neg-out sin-mult sum-cos
1×sqrt-undiv cos-mult remove-double-div

localize9.7s (1.0%)

end10.0ms (0.0%)

Profiling

Loading profile data...