Date:Wednesday, June 10th, 2020
Commit:646ba792 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

sample13.0min (58.9%)

Algorithm
538×intervals
Results
1.3min2092454×body80valid
30.9s366036×body80invalid
18.5s40252×body1280valid
12.1s41003×body640valid
6.7s95503×body80nan
4.3s22139×body320valid
4.3s5604×body2560valid
2.0s6549×body1280invalid
1.5s11626×body160valid
1.4s6576×body640invalid
577.0ms3728×body320invalid
228.0ms2312×body160invalid
190.0ms1052×body640nan
180.0ms794×body1280nan
117.0ms42×body5120valid
90.0ms1558×body80overflowed
89.0ms665×body320nan
32.0ms375×body160nan
sampling

Space saved by range analysis: 0%

Space saved by search: 17.614401%

Guaranteed chance to sample good point: 78.427264%

prune3.6min (16.1%)

Filtered
153548 candidates to 77923 candidates (49.3%)

regimes1.7min (7.9%)

Accuracy

Total 187.1b remaining (34.6%)

Threshold costs 29.9b (5.5%)

12.6b-13.3%Linear.Matrix:det44 from linear-1.19.1.3
11.6b63%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
10.7b54.9%Data.Octree.Internal:octantDistance from Octree-0.5.4.2
9.5b1%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1, J
7.6b6.9%Graphics.Rendering.Chart.Axis.Types:invLinMap from Chart-1.5.3

simplify1.7min (7.6%)

Algorithm
1429×egg-herbie

rewrite59.1s (4.5%)

Algorithm
891×rewrite-expression-head
Calls

2520 calls:

19.1s
(+ x (pow (/ (/ (pow (cbrt (- y z)) 3) (cbrt (- a z))) (/ (cbrt (- a z)) (/ (- t x) (cbrt (- a z))))) 1))
1.5s
(/ (/ (pow (cbrt (- y z)) 3) (cbrt (- a z))) (/ (cbrt (- a z)) (/ (- t x) (cbrt (- a z)))))
196.0ms
(* (/ x (* z z)) (/ y (+ z 1.0)))
106.0ms
(* (/ (+ (pow (+ (* x y) (* z t)) 3) (pow (* a b) 3)) (+ (pow (* a b) 6) (pow (* (+ (* t z) (* x y)) (- (+ (* x y) (* z t)) (* a b))) 3))) (+ (* (* (+ (* t z) (* x y)) (- (+ (* x y) (* z t)) (* a b))) (* (+ (* t z) (* x y)) (- (+ (* x y) (* z t)) (* a b)))) (- (* (* (* a b) (* a b)) (* (* a b) (* a b))) (* (* (+ (* t z) (* x y)) (- (+ (* x y) (* z t)) (* a b))) (* (* a b) (* a b))))))
101.0ms
(- 1.0 (/ (/ (- x y) (sqrt (- 1.0 y))) (sqrt (- 1.0 y))))
Rules
294023×times-frac
193711×*-un-lft-identity
190848×add-sqr-sqrt
154903×cbrt-prod
98323×add-cube-cbrt
44676×distribute-lft-out--
44638×difference-of-squares
25004×unpow-prod-down
24274×cube-prod
11292×add-exp-log
8982×add-cbrt-cube
7403×cbrt-div
6701×pow1
6274×associate-*r*
5732×associate-/r/
5527×sqrt-prod
5400×flip-- flip3--
4532×associate-*l*
3924×add-log-exp
3887×div-inv
3661×associate-/r*
3417×frac-times
3401×associate-*r/
3327×distribute-lft-out
3266×prod-exp
3163×sqr-pow
3025×cube-mult unpow3
2818×cbrt-unprod
2636×associate-*l/
2496×associate-/l*
2488×div-exp
2351×flip-+ flip3-+
1986×pow-prod-down
1852×cbrt-undiv
1562×log-prod
1557×distribute-rgt-in distribute-lft-in
1396×sqrt-div
1354×unswap-sqr
1203×frac-add
887×frac-sub
869×pow1/3
830×*-commutative
779×sub-neg
687×swap-sqr
606×associate-/l/
527×clear-num frac-2neg
495×sum-log
441×associate-+l+
363×associate-+r+
330×sqrt-pow1
304×associate--l+
296×+-commutative
293×diff-log
268×1-exp
260×rec-exp
257×pow-prod-up
216×pow-sqr
215×log-pow
201×pow1/2
134×pow-exp
120×pow-unpow
104×pow-plus
98×pow-to-exp div-sub
90×log-div unpow2
89×pow2
87×associate--r+
84×rem-sqrt-square exp-prod
75×pow-flip
69×rem-log-exp
66×inv-pow
55×exp-sum
54×sinh-def
53×pow-pow
46×distribute-rgt-out--
44×un-div-inv
38×cube-div
35×associate-+l-
34×sum-cubes
32×tanh-def
25×distribute-lft-neg-in associate-+r- distribute-rgt-neg-in
24×cosh-def
22×rem-cube-cbrt rem-exp-log
20×distribute-rgt-neg-out
19×distribute-rgt-out exp-diff
16×sub-div
15×unsub-neg
14×distribute-lft-neg-out
13×sqrt-unprod
12×rem-square-sqrt
11×log-rec rem-cbrt-cube
7×associate--r-
6×associate--l- diff-cos distribute-rgt1-in
5×neg-sub0 distribute-lft1-in count-2
4×sqrt-undiv unpow1/3 neg-log sin-mult
3×cos-diff neg-mul-1
2×cos-sum tan-quot cos-mult distribute-neg-out distribute-neg-frac
1×sqrt-pow2 exp-to-pow remove-double-div

series55.1s (4.2%)

Calls

2520 calls:

2.2s
(* (/ (+ (pow (+ (* x y) (* z t)) 3) (pow (* a b) 3)) (+ (pow (* a b) 6) (pow (* (+ (* t z) (* x y)) (- (+ (* x y) (* z t)) (* a b))) 3))) (+ (* (* (+ (* t z) (* x y)) (- (+ (* x y) (* z t)) (* a b))) (* (+ (* t z) (* x y)) (- (+ (* x y) (* z t)) (* a b)))) (- (* (* (* a b) (* a b)) (* (* a b) (* a b))) (* (* (+ (* t z) (* x y)) (- (+ (* x y) (* z t)) (* a b))) (* (* a b) (* a b))))))
2.1s
(+ (pow (+ (* x y) (* z t)) 3) (pow (* a b) 3))
1.2s
(/ (+ (pow (+ (* x y) (* z t)) 3) (pow (* a b) 3)) (+ (pow (* a b) 6) (pow (* (+ (* t z) (* x y)) (- (+ (* x y) (* z t)) (* a b))) 3)))
616.0ms
(sqrt (+ (- (- x (* (- y 1.0) z)) (* (- t 1.0) a)) (* (- (+ y t) 2.0) b)))
608.0ms
(sqrt (+ (- (- x (* (- y 1.0) z)) (* (- t 1.0) a)) (* (- (+ y t) 2.0) b)))

localize9.6s (0.7%)

bsearch3.0s (0.2%)

end5.0ms (0.0%)

Profiling

Loading profile data...