Date:Wednesday, June 3rd, 2020
Commit:5a2a3d8c on ival-find-range
Hostname:warfa with Racket 7.5
Seed:2020155
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

sample2.2s (49.3%)

Algorithm
41×intervals
Results
778.0ms21282×pre80true
427.0ms16512×body80valid
138.0ms4770×body80nan
1.0ms31×pre80false

prune1.0s (23.6%)

Filtered
350 candidates to 550 candidates (-57.1%)

simplify520.0ms (11.8%)

Algorithm
10×egg-herbie

rewrite287.0ms (6.5%)

Algorithm
6×rewrite-expression-head
Calls

15 calls:

48.0ms
(- (pow (sqrt (/ x0 (- 1.0 x1))) 3) (pow (sqrt x0) 3))
48.0ms
(- (pow (sqrt (/ x0 (- 1.0 x1))) 3) (pow (sqrt x0) 3))
31.0ms
(* (+ (+ (/ x0 (- 1.0 x1)) x0) (* (sqrt (/ x0 (- 1.0 x1))) (sqrt x0))) (- (sqrt (/ x0 (- 1.0 x1))) (sqrt x0)))
30.0ms
(* (+ (sqrt (/ x0 (- 1.0 x1))) (sqrt x0)) (- (sqrt (/ x0 (- 1.0 x1))) (sqrt x0)))
14.0ms
(+ (/ x0 (- 1.0 x1)) (neg x0))
Rules
360×add-sqr-sqrt
159×*-un-lft-identity
147×difference-of-squares
143×sqrt-prod
99×times-frac
84×cube-prod unpow-prod-down
61×add-cube-cbrt
45×distribute-lft-out--
33×add-log-exp
32×add-cbrt-cube add-exp-log
28×sqr-pow
22×associate-*r*
21×associate-/r*
20×flip-- flip3--
19×pow1
16×associate-/l*
12×associate-*l/ frac-times
11×sub-neg
10×flip-+ flip3-+
8×associate-*l* associate-/r/
7×diff-log
6×div-exp frac-add cbrt-undiv sqrt-div
5×clear-num frac-2neg div-inv
4×distribute-rgt-in associate-*r/ distribute-lft-in distribute-lft-out
3×prod-exp cbrt-unprod
2×difference-cubes sum-log associate-/l/ pow-prod-down *-commutative unswap-sqr
1×neg-sub0 +-commutative associate-+r- distribute-rgt-neg-in div-sub unsub-neg neg-log

series225.0ms (5.1%)

Calls

15 calls:

36.0ms
(* (+ (+ (/ x0 (- 1.0 x1)) x0) (* (sqrt (/ x0 (- 1.0 x1))) (sqrt x0))) (- (sqrt (/ x0 (- 1.0 x1))) (sqrt x0)))
33.0ms
(* (+ (sqrt (/ x0 (- 1.0 x1))) (sqrt x0)) (- (sqrt (/ x0 (- 1.0 x1))) (sqrt x0)))
24.0ms
(- (pow (sqrt (/ x0 (- 1.0 x1))) 3) (pow (sqrt x0) 3))
24.0ms
(- (pow (sqrt (/ x0 (- 1.0 x1))) 3) (pow (sqrt x0) 3))
15.0ms
(/ (- (* a a) (* b b)) (* a a))

regimes88.0ms (2.0%)

Accuracy

Total 0.8b remaining (14.7%)

Threshold costs 0.8b (14.7%)

0.8b0%(- (/ x0 (- 1 x1)) x0)

localize76.0ms (1.7%)

bsearch0.0ms (0.0%)

end0.0ms (0.0%)

Profiling

Loading profile data...