Date:Sunday, June 21st, 2020
Commit:b922bf9e on ival-perf-with-search
Hostname:warfa with Racket 7.5
Seed:2020173
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

analyze40.5s (48.5%)

Algorithm
24×search

sample22.1s (26.4%)

Algorithm
24×intervals
Results
6.3s4873×body5120exit
4.9s10729×body1280valid
3.0s77821×body80valid
1.8s6522×body640valid
1.1s2508×body1280nan
792.0ms24768×pre80true
575.0ms2055×body640nan
570.0ms2762×body320valid
187.0ms1053×body320nan
187.0ms1238×body160valid
175.0ms2033×body80invalid
73.0ms222×body640invalid
52.0ms115×body1280invalid
46.0ms182×body320invalid
34.0ms324×body160nan
20.0ms119×body160invalid
10.0ms222×body80nan
10.0ms148×body80overflowed
2.0ms1×body5120nan

simplify6.4s (7.6%)

Algorithm
67×egg-herbie

prune5.5s (6.6%)

Filtered
3204 candidates to 2095 candidates (34.6%)

series3.7s (4.4%)

Calls

117 calls:

152.0ms
(/ (- (* (+ (tan y) (tan z)) (cos a)) (* (- 1 (* (tan y) (tan z))) (sin a))) (* (- 1 (* (tan y) (tan z))) (cos a)))
136.0ms
(* (pow (sqrt l) (exp w)) (pow (pow (sqrt l) (* (cbrt (exp w)) (cbrt (exp w)))) (cbrt (exp w))))
130.0ms
(+ x (- (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (tan a)))
122.0ms
(- (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (tan a))
90.0ms
(sqrt (* 2.0 (pow x 2.0)))

regimes3.6s (4.3%)

Accuracy

Total 6.1b remaining (28.3%)

Threshold costs 2.3b (10.6%)

2.5b6.2%mixedcos
1.3b0%sqrt E
0.4b0%sqrt A
0.4b0%sqrt C
0.3b0%rsin B

rewrite814.0ms (1.0%)

Algorithm
43×rewrite-expression-head
Calls

117 calls:

15.0ms
(/ (cos (* 2.0 x)) (* (pow c 2.0) (* (* (* x (pow s (/ 2.0 2))) (pow s (/ 2.0 2))) x)))
15.0ms
(/ (- (* (+ (tan y) (tan z)) (cos a)) (* (- 1 (* (tan y) (tan z))) (sin a))) (* (- 1 (* (tan y) (tan z))) (cos a)))
13.0ms
(+ x (- (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (tan a)))
13.0ms
(* (* (pow x 1.0) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (cbrt (sqrt 2.0)))
12.0ms
(* (pow c 2.0) (* (* (* x (pow s (/ 2.0 2))) (pow s (/ 2.0 2))) x))
Rules
1056×add-exp-log
750×add-sqr-sqrt
671×prod-exp
572×*-un-lft-identity
502×add-cube-cbrt
403×add-cbrt-cube
300×pow1
290×times-frac
252×associate-*l*
248×unpow-prod-down
243×associate-*r*
197×sqrt-prod
176×pow-exp
168×pow-to-exp
157×cbrt-unprod
148×add-log-exp
117×unswap-sqr
94×cbrt-prod
87×div-exp pow-prod-down
75×sqr-pow
69×tan-quot
57×associate-/r*
56×*-commutative
55×associate-/l*
37×cbrt-undiv
36×associate-*l/
28×div-inv
27×associate-/r/ distribute-lft-out
25×distribute-rgt-out
23×frac-times sin-mult
22×pow-unpow flip-- flip3--
21×distribute-lft-out--
20×associate-*r/ cos-mult difference-of-squares
18×frac-sub
17×clear-num frac-2neg
16×associate-/l/ swap-sqr
15×pow1/3 pow-pow
14×sqrt-pow1
11×flip-+ flip3-+
10×pow1/2
9×sub-neg sub-div diff-log
8×cbrt-div
7×sum-log
6×sqrt-div pow-sqr pow-prod-up
5×neg-sub0 exp-neg +-commutative distribute-lft1-in count-2 distribute-rgt1-in exp-diff
4×frac-add associate-+r+ sqrt-pow2
3×pow2 rem-sqrt-square log-prod pow-plus div-sub log-pow
2×tan-sum cos-sum associate-+r-
1×rem-log-exp exp-to-pow exp-prod

bsearch564.0ms (0.7%)

localize475.0ms (0.6%)

end1.0ms (0.0%)

Profiling

Loading profile data...