Date:Tuesday, June 16th, 2020
Commit:4389a0c9 on ival-find-range
Hostname:warfa with Racket 7.5
Seed:2020168
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

sample51.8s (72.2%)

Algorithm
24×intervals
Results
6.3s4745×body5120exit
5.2s10880×body1280valid
3.0s77612×body80valid
1.9s6710×body640valid
1.1s2394×body1280nan
827.0ms24768×pre80true
577.0ms1992×body640nan
561.0ms2677×body320valid
189.0ms1021×body320nan
181.0ms1193×body160valid
130.0ms1497×body80invalid
81.0ms253×body640invalid
58.0ms124×body1280invalid
44.0ms188×body320invalid
23.0ms221×body160nan
20.0ms104×body160invalid
8.0ms79×body80overflowed
6.0ms3×body5120nan
4.0ms79×body80nan
sampling

Space saved by range analysis: 31.374283%

Space saved by search: 28.043374%

Guaranteed chance to sample good point: 0%

simplify5.7s (7.9%)

Algorithm
66×egg-herbie

prune5.5s (7.6%)

Filtered
3642 candidates to 2185 candidates (40.0%)

series4.2s (5.8%)

Calls

118 calls:

158.0ms
(* (pow (sqrt l) (exp w)) (pow (pow (sqrt l) (* (cbrt (exp w)) (cbrt (exp w)))) (cbrt (exp w))))
147.0ms
(/ (- (* (+ (tan y) (tan z)) (cos a)) (* (- 1 (* (tan y) (tan z))) (sin a))) (* (- 1 (* (tan y) (tan z))) (cos a)))
126.0ms
(+ x (- (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (tan a)))
116.0ms
(- (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (tan a))
111.0ms
(* (pow (sqrt l) (exp w)) (pow (pow (sqrt l) (pow (exp (* 1/3 w)) 2)) (cbrt (exp w))))

regimes3.1s (4.3%)

Accuracy

Total 6.2b remaining (28.3%)

Threshold costs 2.6b (11.8%)

2.3b0%mixedcos
1.3b0%sqrt E
0.6b0%exp-w crasher
0.4b0%sqrt A
0.4b0%sqrt C

rewrite1.1s (1.5%)

Algorithm
42×rewrite-expression-head
Calls

118 calls:

151.0ms
(* (* x (pow s 2.0)) x)
24.0ms
(/ (cos (* 2.0 x)) (* (pow c (/ 2.0 2)) (* (pow c (/ 2.0 2)) (* (* (* x (pow s (/ 2.0 2))) (pow s (/ 2.0 2))) x))))
17.0ms
(* (pow c (/ 2.0 2)) (* (pow c (/ 2.0 2)) (* (* (* x (pow s (/ 2.0 2))) (pow s (/ 2.0 2))) x)))
16.0ms
(* (* (* (pow x 1.0) (sqrt (sqrt 2.0))) (sqrt (sqrt (sqrt 2.0)))) (sqrt (sqrt (sqrt 2.0))))
13.0ms
(/ (- (* (+ (tan y) (tan z)) (cos a)) (* (- 1 (* (tan y) (tan z))) (sin a))) (* (- 1 (* (tan y) (tan z))) (cos a)))
Rules
2224×add-exp-log
1787×prod-exp
806×add-sqr-sqrt
569×*-un-lft-identity
509×add-cube-cbrt
495×pow-exp
479×pow-to-exp
441×add-cbrt-cube
368×unpow-prod-down
304×pow1
298×sqrt-prod
291×associate-*l*
274×associate-*r*
215×times-frac
183×cbrt-unprod
182×div-exp
152×unswap-sqr
150×add-log-exp
104×sqr-pow
100×cbrt-prod
84×pow-prod-down
69×tan-quot
59×*-commutative
54×pow-unpow
52×associate-/r*
44×associate-/l*
36×cbrt-undiv
34×associate-*l/
33×cbrt-div
32×pow-pow
31×swap-sqr associate-/r/
30×pow1/3 sin-mult
27×distribute-lft-out
25×distribute-rgt-out
24×cos-mult
23×flip-- frac-times div-inv flip3--
21×frac-sub
20×associate-*r/
16×clear-num frac-2neg distribute-lft-out--
15×sqrt-pow1 difference-of-squares
14×associate-/l/
12×sub-div
11×flip-+ flip3-+ pow1/2
10×sub-neg diff-log
8×pow-sqr pow-prod-up
7×sum-log
6×log-prod sqrt-div
5×pow2 +-commutative distribute-lft1-in sqrt-pow2 count-2 distribute-rgt1-in
4×frac-add associate-+r+ pow-plus
3×rem-sqrt-square div-sub log-pow associate--r+
2×tan-sum cos-sum associate-+r-
1×rem-log-exp exp-to-pow exp-prod unpow2

localize456.0ms (0.6%)

bsearch37.0ms (0.1%)

end0.0ms (0.0%)

Profiling

Loading profile data...