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

analyze41.2s (50.8%)

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.2s (27.4%)

Algorithm
24×intervals
Results
6.4s5108×body5120exit
5.0s10784×body1280valid
3.0s77804×body80valid
1.8s6669×body640valid
1.1s2513×body1280nan
821.0ms24768×pre80true
574.0ms2159×body640nan
564.0ms2688×body320valid
178.0ms1024×body320nan
168.0ms1968×body80invalid
162.0ms1127×body160valid
79.0ms240×body640invalid
60.0ms133×body1280invalid
49.0ms206×body320invalid
35.0ms331×body160nan
18.0ms111×body160invalid
11.0ms254×body80nan
10.0ms151×body80overflowed
4.0ms2×body5120nan
3.0ms3×body2560nan

simplify4.8s (6.0%)

Algorithm
66×egg-herbie

prune4.4s (5.4%)

Filtered
2960 candidates to 1925 candidates (35.0%)

series3.7s (4.5%)

Calls

109 calls:

130.0ms
(+ x (- (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (tan a)))
127.0ms
(- (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (tan a))
122.0ms
(- (/ (+ (tan y) (tan z)) (- 1 (cbrt (pow (* (tan y) (tan z)) 3)))) (tan a))
121.0ms
(- (/ (+ (tan y) (tan z)) (- 1 (cbrt (* (pow (tan y) 3) (pow (tan z) 3))))) (tan a))
84.0ms
(sqrt (* 2.0 (pow x 2.0)))

regimes2.3s (2.9%)

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.2s (1.5%)

rewrite817.0ms (1.0%)

Algorithm
42×rewrite-expression-head
Calls

109 calls:

24.0ms
(- (/ (+ (tan y) (tan z)) (- 1 (cbrt (pow (* (tan y) (tan z)) 3)))) (tan a))
16.0ms
(- (tan (+ y z)) (tan a))
15.0ms
(* (* x (* (neg (pow (cbrt (sqrt 2)) 2)) (sqrt (cbrt (sqrt 2))))) (sqrt (cbrt (sqrt 2))))
15.0ms
(- (/ (+ (tan y) (tan z)) (- 1 (cbrt (* (pow (tan y) 3) (pow (tan z) 3))))) (tan a))
12.0ms
(* x (* x (* (pow c 2.0) (pow s 2.0))))
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

localize433.0ms (0.5%)

end0.0ms (0.0%)

Profiling

Loading profile data...