Date:Wednesday, July 8th, 2020
Commit:0b6aac6b on ival-perf-with-search
Hostname:warfa with Racket 7.5
Seed:2020190
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

sample21.9s (35.7%)

Algorithm
24×intervals
Results
6.1s4769×body5120exit
4.9s10789×body1280valid
3.0s77703×body80valid
1.8s6574×body640valid
1.0s2428×body1280nan
822.0ms24768×pre80true
575.0ms2825×body320valid
555.0ms2044×body640nan
180.0ms1028×body320nan
177.0ms1181×body160valid
169.0ms2013×body80invalid
85.0ms253×body640invalid
68.0ms147×body1280invalid
50.0ms193×body320invalid
32.0ms312×body160nan
17.0ms101×body160invalid
10.0ms215×body80nan
8.0ms133×body80overflowed
3.0ms3×body2560nan

analyze21.0s (34.3%)

Algorithm
12×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

simplify5.1s (8.3%)

Algorithm
67×egg-herbie

prune4.6s (7.6%)

Filtered
3470 candidates to 2023 candidates (41.7%)

series4.0s (6.5%)

Calls

108 calls:

154.0ms
(/ (+ (* (+ (tan y) (tan z)) (cos a)) (* (sin a) (+ (* (tan y) (tan z)) -1))) (* (- 1 (* (tan y) (tan z))) (cos a)))
132.0ms
(+ x (- (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (tan a)))
123.0ms
(- (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (tan a))
92.0ms
(sqrt (* 2.0 (pow x 2.0)))
89.0ms
(* (pow x 1.0) (cbrt (sqrt 2.0)))

regimes3.2s (5.3%)

Accuracy

Total 4.3b remaining (12.1%)

Threshold costs 2.4b (6.7%)

1.9b0%mixedcos
0.4b0%rsin A
0.4b0%sqrt C
0.3b99%sqrt B
0.3b99%sqrt A

rewrite1.0s (1.7%)

Algorithm
43×rewrite-expression-head
Calls

108 calls:

39.0ms
(/ r (- (/ (cos a) (/ (sin b) (cos b))) (/ (sin a) 1)))
36.0ms
(- (/ (cos a) (/ (sin b) (cos b))) (/ (sin a) 1))
26.0ms
(/ (cos (* 2.0 x)) (* (* x (* (pow s (/ 2.0 2)) (pow c (/ 2.0 2)))) (* x (* (pow s (/ 2.0 2)) (pow c (/ 2.0 2))))))
21.0ms
(* (* x (* (neg (pow (cbrt (sqrt 2)) 2)) (* (cbrt (cbrt (sqrt 2))) (cbrt (cbrt (sqrt 2)))))) (cbrt (cbrt (sqrt 2))))
18.0ms
(/ (+ (* (+ (tan y) (tan z)) (cos a)) (* (sin a) (+ (* (tan y) (tan z)) -1))) (* (- 1 (* (tan y) (tan z))) (cos a)))
Rules
2651×add-exp-log
2101×prod-exp
843×add-sqr-sqrt
578×*-un-lft-identity
542×add-cbrt-cube
490×pow-to-exp pow-exp
487×add-cube-cbrt
412×times-frac
348×pow1
318×associate-*r*
264×cbrt-unprod
262×div-exp
218×associate-*l*
187×sqrt-prod
135×add-log-exp
123×pow-prod-down
107×unpow-prod-down
97×unswap-sqr
96×cbrt-prod
79×tan-quot
73×associate-/r*
62×associate-/l*
60×difference-of-squares
59×*-commutative
50×cbrt-undiv
49×sqr-pow
45×associate-*r/
38×associate-/r/
29×associate-*l/
27×frac-times div-inv
26×distribute-lft-out--
24×sin-mult
21×distribute-lft-neg-in distribute-rgt-neg-in flip-- flip3--
20×cos-mult
19×clear-num frac-2neg
18×sqrt-pow1
17×frac-add
16×flip-+ flip3-+
15×frac-sub
14×log-prod pow1/3 distribute-rgt-neg-out
13×associate-/l/
11×swap-sqr
10×sub-neg sub-div diff-log
9×pow-unpow pow-sqr pow-prod-up
8×distribute-lft-out
7×pow1/2 associate--r+
6×distribute-lft-neg-out exp-prod
5×sum-log pow-plus
4×pow2 associate-+r+
3×rem-log-exp +-commutative neg-mul-1 1-exp pow-pow
2×rem-sqrt-square tan-sum cos-sum associate-+r- unpow1/3 sqrt-div
1×distribute-rgt-in quot-tan distribute-lft-in div-sub log-pow

localize434.0ms (0.7%)

bsearch54.0ms (0.1%)

end0.0ms (0.0%)

Profiling

Loading profile data...