Date:Monday, June 29th, 2020
Commit:9427dca4 on ival-perf-with-search
Hostname:warfa with Racket 7.5
Seed:2020181
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

analyze39.7s (49.3%)

Algorithm
24×search
Search
TrueOtherFalseIter
0%75%25%0
0%75%25%1
0%75%25%2
22.9%52.1%25%3
33.3%41.6%25%4
39%35.9%25%5
41.6%32.5%25.8%6
45.3%28.8%26%7
47%26.6%26.4%8
48.9%24.6%26.5%9
50.9%22.1%26.9%10
51.5%21.3%27.2%11
52.3%20.2%27.5%12
53.1%19.2%27.7%13
53.3%18.6%28.1%14

sample22.6s (28.1%)

Algorithm
24×intervals
Results
6.4s5108×body5120exit
5.0s10784×body1280valid
3.3s77804×body80valid
1.8s6669×body640valid
1.1s2513×body1280nan
807.0ms24768×pre80true
589.0ms2159×body640nan
549.0ms2688×body320valid
175.0ms1024×body320nan
173.0ms1127×body160valid
166.0ms1968×body80invalid
78.0ms240×body640invalid
59.0ms133×body1280invalid
47.0ms206×body320invalid
33.0ms331×body160nan
18.0ms111×body160invalid
13.0ms254×body80nan
10.0ms151×body80overflowed
4.0ms2×body5120nan
3.0ms3×body2560nan

simplify4.9s (6.1%)

Algorithm
66×egg-herbie

prune4.6s (5.7%)

Filtered
2960 candidates to 1925 candidates (35.0%)

series3.7s (4.6%)

Calls

109 calls:

132.0ms
(+ x (- (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (tan a)))
129.0ms
(- (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (tan a))
123.0ms
(- (/ (+ (tan y) (tan z)) (- 1 (cbrt (* (pow (tan y) 3) (pow (tan z) 3))))) (tan a))
123.0ms
(- (/ (+ (tan y) (tan z)) (- 1 (cbrt (pow (* (tan y) (tan z)) 3)))) (tan a))
85.0ms
(* (pow (sqrt 2) 2/3) (pow x 1.0))

regimes2.4s (3.0%)

Accuracy

Total 5.2b remaining (23.2%)

Threshold costs 2.7b (11.9%)

2.5b45.1%mixedcos
0.4b0%sqrt C
0.4b0%rsin B
0.4b0%sqrt D
0.4b0%rsin A

bsearch1.3s (1.6%)

rewrite826.0ms (1.0%)

Algorithm
42×rewrite-expression-head
Calls

109 calls:

25.0ms
(- (/ (+ (tan y) (tan z)) (- 1 (cbrt (pow (* (tan y) (tan z)) 3)))) (tan a))
17.0ms
(* (* x (* (neg (pow (cbrt (sqrt 2)) 2)) (sqrt (cbrt (sqrt 2))))) (sqrt (cbrt (sqrt 2))))
16.0ms
(- (/ (+ (tan y) (tan z)) (- 1 (cbrt (* (pow (tan y) 3) (pow (tan z) 3))))) (tan a))
13.0ms
(/ (cos (* 2.0 x)) (* (* x (* x (pow (* c s) (* 1/2 2.0)))) (pow (* c s) (/ 2.0 2))))
13.0ms
(* (sin b) (/ r (- (* (cos a) (cos b)) (* (sin b) (sin a)))))
Rules
1021×add-exp-log
638×add-sqr-sqrt
606×prod-exp
454×*-un-lft-identity
409×add-cube-cbrt
396×add-cbrt-cube
363×associate-*r*
291×pow1
193×pow-exp
185×associate-*l*
178×unpow-prod-down
175×sqrt-prod
164×times-frac
160×cbrt-unprod
139×add-log-exp
118×pow-to-exp
104×unswap-sqr
100×pow-prod-down
86×div-exp
70×cbrt-prod
69×sqr-pow
64×pow-unpow
56×*-commutative
38×associate-/r/ associate-/l*
36×associate-/r*
34×cbrt-undiv
31×tan-quot sin-mult
26×cos-mult
21×distribute-lft-neg-in distribute-rgt-neg-in flip-- flip3--
20×div-inv
19×difference-of-squares
18×frac-sub distribute-lft-out--
15×sqrt-pow1 pow-pow
14×clear-num distribute-rgt-neg-out frac-2neg
13×associate-*r/ sub-div
12×cube-div
11×sub-neg diff-log
9×pow1/2 associate-*l/
8×cube-prod
6×distribute-lft-neg-out cbrt-div
5×sum-log frac-times distribute-lft-out
4×rem-sqrt-square flip-+ flip3-+ pow1/3 cube-mult unpow3 rem-cube-cbrt
3×+-commutative neg-mul-1 exp-prod
2×neg-sub0 exp-neg tan-sum cos-sum associate-+r+ associate-+r- sqrt-div 1-exp associate-/l/ rec-exp rem-cbrt-cube exp-diff
1×frac-add sqrt-unprod inv-pow div-sub un-div-inv pow-flip

localize462.0ms (0.6%)

end0.0ms (0.0%)

Profiling

Loading profile data...