Date:Tuesday, July 21st, 2020
Commit:e15f1dc1 on master
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.5s (42.0%)

Algorithm
26×intervals
Results
8.8s6519×body5120exit
6.7s14081×body1280valid
3.0s78171×body80valid
2.7s9224×body640valid
1.6s3670×body1280nan
987.0ms3971×body320valid
880.0ms3125×body640nan
843.0ms24768×pre80true
280.0ms1515×body320nan
276.0ms1881×body160valid
177.0ms2092×body80invalid
87.0ms258×body640invalid
75.0ms154×body1280invalid
71.0ms591×body160nan
48.0ms177×body320invalid
30.0ms490×body80nan
19.0ms114×body160invalid
9.0ms148×body80overflowed
2.0ms1×body5120nan
1.0ms1×body2560nan

analyze21.9s (31.2%)

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

prune5.6s (7.9%)

Filtered
4131 candidates to 2360 candidates (42.9%)

simplify4.8s (6.9%)

Algorithm
72×egg-herbie

series3.8s (5.5%)

Calls

134 calls:

134.0ms
(+ x (- (/ (+ (/ (sin z) (cos z)) (/ (sin y) (cos y))) (- 1 (* (tan y) (tan z)))) (tan a)))
133.0ms
(+ x (- (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (tan a)))
131.0ms
(+ x (- (/ (+ (tan y) (tan z)) (- 1 (/ (* (sin y) (sin z)) (* (cos y) (cos z))))) (tan a)))
130.0ms
(- (/ (+ (/ (sin z) (cos z)) (/ (sin y) (cos y))) (- 1 (* (tan y) (tan z)))) (tan a))
126.0ms
(- (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (tan a))

regimes3.0s (4.3%)

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.6%)

Algorithm
46×rewrite-expression-head
Calls

134 calls:

25.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)))))))
25.0ms
(- (/ (+ (/ (sin z) (cos z)) (/ (sin y) (cos y))) (- 1 (* (tan y) (tan z)))) (tan a))
23.0ms
(+ x (- (/ (+ (/ (sin z) (cos z)) (/ (sin y) (cos y))) (- 1 (* (tan y) (tan z)))) (tan a)))
22.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))))))
21.0ms
(- (/ (+ (tan y) (tan z)) (- 1 (/ (* (sin y) (sin z)) (* (cos y) (cos 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

localize496.0ms (0.7%)

bsearch18.0ms (0.0%)

end0.0ms (0.0%)

Profiling

Loading profile data...