Date:Wednesday, July 22nd, 2020
Commit:750605db on cleanup
Hostname:warfa with Racket 7.5
Seed:2020204
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

Time bar (total: 1.3min)

sample29.5s (37.1%)

Algorithm
26×intervals
Results
8.9s6592×body5120exit
6.6s13928×body1280valid
3.0s78297×body80valid
2.7s9186×body640valid
1.6s3862×body1280nan
869.0ms3149×body640nan
861.0ms4031×body320valid
834.0ms24768×pre80true
287.0ms1886×body160valid
284.0ms1532×body320nan
176.0ms2029×body80invalid
79.0ms239×body640invalid
69.0ms569×body160nan
65.0ms143×body1280invalid
46.0ms197×body320invalid
28.0ms477×body80nan
18.0ms110×body160invalid
9.0ms137×body80overflowed
3.0ms3×body2560nan
2.0ms1×body5120nan

analyze21.9s (27.5%)

Algorithm
13×search
Search
TrueOtherFalseIter
0%76.9%23.1%0
0%76.9%23.1%1
0%76.9%23.1%2
25%51.9%23.1%3
34.6%42.3%23.1%4
39.9%37%23.1%5
42.3%33.9%23.8%6
45.6%30.4%24%7
47.2%28.4%24.4%8
49%26.5%24.5%9
50.8%24.3%24.9%10
51.4%23.5%25.1%11
52.1%22.5%25.4%12
52.8%21.6%25.6%13
53%21%25.9%14

prune12.1s (15.3%)

simplify5.2s (6.5%)

Algorithm
72×egg-herbie

series4.6s (5.8%)

Calls

140 calls:

144.0ms
(- (/ (+ (tan y) (tan z)) (- 1 (log (pow (exp (tan y)) (tan z))))) (tan a))
127.0ms
(+ x (- (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (tan a)))
119.0ms
(- (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (tan a))
92.0ms
(sqrt (* (pow x 2.0) 2))
90.0ms
(sqrt (* 2.0 (pow x 2.0)))

regimes3.1s (3.9%)

Accuracy

Total 5.9b remaining (6%)

Threshold costs 2.2b (2.2%)

3.7b2505%mixedcos
0.4b0%sqrt C
0.3b0%rsin A
0.3b0%rsin B
0.2b0%exp-w crasher

rewrite2.4s (3.1%)

Algorithm
46×rewrite-expression-head
Rules
1793×unpow-prod-down
1273×add-sqr-sqrt
1184×times-frac
1151×add-exp-log
1013×*-un-lft-identity
970×add-cube-cbrt
596×prod-exp
587×associate-*r*
431×add-cbrt-cube
316×pow-exp
303×pow1
234×sqr-pow
228×sqrt-prod
187×associate-*l*
184×div-exp
164×add-log-exp
155×pow-to-exp
138×cbrt-unprod
122×unswap-sqr
89×associate-/r*
74×pow-prod-down
69×div-inv associate-/l*
63×pow-unpow
52×sqrt-pow1
51×*-commutative
50×cbrt-prod
46×cbrt-undiv
35×exp-prod
29×associate-/r/
24×pow1/2
21×rem-sqrt-square clear-num frac-2neg
19×pow-pow
18×sqrt-div
17×associate-*r/ distribute-lft-out-- difference-of-squares
15×flip-- flip3--
13×cos-mult
12×tan-quot sin-mult
11×neg-sub0 exp-neg associate-*l/ exp-diff
10×log-prod
9×pow1/3
8×frac-sub
7×sub-neg diff-log
6×distribute-lft-neg-in distribute-rgt-neg-in
5×sum-log frac-times log-pow distribute-lft-out
4×rem-log-exp flip-+ flip3-+
3×cube-div +-commutative sub-div
2×cbrt-div tan-sum cos-sum associate-+r+ associate-+r- neg-mul-1 1-exp cube-prod associate-/l/ cube-mult rec-exp unpow3 rem-cube-cbrt rem-exp-log
1×frac-add inv-pow div-sub un-div-inv rem-cbrt-cube pow-flip
Calls

140 calls:

669.0ms
(sqrt (* 2 (pow (/ (/ (pow -1 2.0) (pow (sqrt (pow (/ -1 x) 2.0)) 1.0)) (pow (sqrt (pow (/ -1 x) 2.0)) 1.0)) 1.0)))
627.0ms
(sqrt (* 2.0 (pow (/ (/ (pow -1 2.0) (pow (sqrt (pow (/ -1 x) 2.0)) 1.0)) (pow (sqrt (pow (/ -1 x) 2.0)) 1.0)) 1.0)))
63.0ms
(* 2 (pow (/ (pow -1 2.0) (pow (pow (/ -1 x) 2.0) 1.0)) 1.0))
59.0ms
(* 2.0 (pow (/ (pow -1 2.0) (pow (pow (/ -1 x) 2.0) 1.0)) 1.0))
31.0ms
(sqrt (* 2 (pow (/ (pow -1 2.0) (pow (pow (/ -1 x) 2.0) 1.0)) 1.0)))

localize547.0ms (0.7%)

bsearch177.0ms (0.2%)

end0.0ms (0%)

Profiling

Loading profile data...