Date:Tuesday, July 21st, 2020
Commit:7c127d0c on cleanup
Hostname:warfa with Racket 7.5
Seed:2020203
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

sample29.2s (39.6%)

Algorithm
25×intervals
Results
9.0s6519×body5120exit
6.6s14081×body1280valid
3.0s70171×body80valid
2.8s9224×body640valid
1.6s3670×body1280nan
885.0ms3125×body640nan
858.0ms3971×body320valid
714.0ms16768×pre80true
294.0ms1515×body320nan
276.0ms1881×body160valid
187.0ms2092×body80invalid
88.0ms258×body640invalid
72.0ms154×body1280invalid
71.0ms591×body160nan
46.0ms177×body320invalid
31.0ms490×body80nan
19.0ms114×body160invalid
9.0ms148×body80overflowed
2.0ms1×body5120nan
2.0ms1×body2560nan

analyze21.7s (29.4%)

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

prune9.3s (12.7%)

simplify5.0s (6.8%)

Algorithm
71×egg-herbie

series3.9s (5.4%)

Calls

134 calls:

215.0ms
(cbrt (cbrt (exp w)))
125.0ms
(+ x (- (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (tan a)))
125.0ms
(+ x (- (/ (+ (/ (sin z) (cos z)) (/ (sin y) (cos y))) (- 1 (* (tan y) (tan z)))) (tan a)))
124.0ms
(+ x (- (/ (+ (tan y) (tan z)) (- 1 (/ (* (sin y) (sin z)) (* (cos y) (cos z))))) (tan a)))
120.0ms
(- (/ (+ (/ (sin z) (cos z)) (/ (sin y) (cos y))) (- 1 (* (tan y) (tan z)))) (tan a))

regimes2.9s (3.9%)

Accuracy

Total 7.2b remaining (10.2%)

Threshold costs 2.5b (3.6%)

4.6b29%mixedcos
0.4b0%sqrt B
0.4b0%sqrt D
0.3b0%rsin A
0.3b99%sqrt A

rewrite1.1s (1.5%)

Algorithm
46×rewrite-expression-head
Calls

134 calls:

26.0ms
(sqrt (* 2.0 (* x x)))
23.0ms
(/ (cos (* 2.0 x)) (* (pow c (/ 2.0 2)) (* x (* (* x (pow s (/ 2.0 2))) (* (pow c (/ 2.0 2)) (pow s (/ 2.0 2)))))))
23.0ms
(/ (cos (* 2.0 x)) (* (pow c (/ 2.0 2)) (* x (* (* (* x (pow s (/ 2.0 2))) (pow s (/ 2.0 2))) (pow c (/ 2.0 2))))))
22.0ms
(+ x (- (/ (+ (/ (sin z) (cos z)) (/ (sin y) (cos y))) (- 1 (* (tan y) (tan z)))) (tan a)))
21.0ms
(- (/ (+ (/ (sin z) (cos z)) (/ (sin y) (cos y))) (- 1 (* (tan y) (tan z)))) (tan a))
Rules
3639×add-exp-log
3108×prod-exp
791×add-sqr-sqrt
790×pow-to-exp pow-exp
624×*-un-lft-identity
564×add-cube-cbrt
546×add-cbrt-cube
494×pow1
313×times-frac
307×div-exp
300×sqrt-prod
275×associate-*r*
262×associate-*l*
230×cbrt-unprod
189×pow-prod-down
187×sqrt-pow1
179×add-log-exp
148×unpow-prod-down
143×cbrt-prod
87×unswap-sqr
75×associate-/l*
67×associate-/r*
56×*-commutative
53×pow1/2
50×sqr-pow
49×cbrt-undiv
29×div-inv
25×associate-/r/ pow-prod-up
24×distribute-lft-out--
23×clear-num frac-2neg
21×pow-unpow difference-of-squares
20×flip-- flip3--
19×pow1/3 exp-prod sin-mult
17×tan-quot pow-sqr log-pow
16×sub-neg diff-log
15×associate-*r/ swap-sqr cos-mult
12×log-prod frac-sub cube-prod
11×rem-sqrt-square pow-pow
10×flip-+ flip3-+ sqrt-div
9×sum-log sqrt-unprod pow-flip distribute-lft-out
7×sub-div
6×distribute-lft-neg-in distribute-rgt-neg-in associate--l+
5×+-commutative distribute-rgt-neg-out
4×exp-sum associate-+r+ associate-+r- associate-*l/
3×pow2 pow-plus associate-/l/
2×rem-log-exp cbrt-div tan-sum cos-sum 1-exp cube-mult frac-times rec-exp unpow3 rem-exp-log
1×distribute-lft-neg-out frac-add quot-tan neg-mul-1 rem-square-sqrt sqrt-pow2 inv-pow div-sub rem-cbrt-cube exp-diff rem-cube-cbrt

localize510.0ms (0.7%)

bsearch18.0ms (0.0%)

end0.0ms (0.0%)

Profiling

Loading profile data...