Date:Wednesday, May 27th, 2020
Commit:c82eb183 on master
Hostname:warfa with Racket 7.5
Seed:2020148
Parameters:256 points for 4 iterations
Flags:
setup:simplifyrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifyreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:doubleprecision:fallback
default

Details

sample14.7s (40.7%)

Algorithm
22×intervals
Results
4.7s10870×body1280valid
2.4s72790×body80valid
1.8s6735×body640valid
781.0ms24768×pre80true
563.0ms2979×body320valid
187.0ms1388×body160valid

prune10.5s (29.0%)

Filtered
2640 candidates to 1745 candidates (33.9%)

regimes3.4s (9.3%)

Accuracy

Total 5.9b remaining (8.6%)

Threshold costs 2.2b (3.2%)

2.5b0%mixedcos
1.3b0%sqrt E
0.4b0%sqrt A
0.4b0%sqrt C
0.4b0%sqrt D

simplify3.2s (9.0%)

Algorithm
60×egg-herbie

series3.2s (8.7%)

Calls

106 calls:

129.0ms
(+ x (- (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (tan a)))
123.0ms
(- (/ (+ (tan y) (tan z)) (- 1 (/ (* (sin y) (tan z)) (cos y)))) (tan a))
122.0ms
(- (/ (+ (tan y) (tan z)) (- 1 (* (* (sin y) (tan z)) (/ 1 (cos y))))) (tan a))
120.0ms
(- (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (tan a))
98.0ms
(sqrt (pow (* (cbrt x) (cbrt x)) 2.0))

rewrite729.0ms (2.0%)

Algorithm
38×rewrite-expression-head
Calls

106 calls:

19.0ms
(- (/ (+ (tan y) (tan z)) (- 1 (/ (* (sin y) (tan z)) (cos y)))) (tan a))
14.0ms
(/ (cos (* 2.0 x)) (* (pow c 2.0) (* (* (* x (pow s (/ 2.0 2))) (pow s (/ 2.0 2))) x)))
14.0ms
(+ x (- (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (tan a)))
12.0ms
(* (pow c 2.0) (* (* (* x (pow s (/ 2.0 2))) (pow s (/ 2.0 2))) x))
12.0ms
(- (/ (+ (tan y) (tan z)) (- 1 (* (* (sin y) (tan z)) (/ 1 (cos y))))) (tan a))
Rules
926×add-exp-log
588×prod-exp
552×add-sqr-sqrt
448×*-un-lft-identity
394×add-cube-cbrt
356×add-cbrt-cube
306×pow1
246×times-frac
194×associate-*r*
193×associate-*l*
143×sqrt-prod
138×add-log-exp
131×pow-exp pow-to-exp
130×cbrt-unprod
102×pow-prod-down
90×div-exp
59×cbrt-prod
58×unpow-prod-down
55×unswap-sqr
52×associate-/l*
44×sqrt-pow1 associate-/r*
43×*-commutative
37×cbrt-undiv
34×associate-/r/
26×sin-mult div-inv
21×sqr-pow
20×flip-- flip3-- tan-quot cos-mult pow1/2
19×difference-of-squares
18×distribute-lft-out--
16×clear-num frac-2neg
15×frac-sub
14×distribute-lft-out
12×pow1/3 associate-*r/
11×log-pow
10×diff-log distribute-rgt-out exp-prod sub-neg sub-div log-prod
8×rem-sqrt-square
6×sum-log flip-+ flip3-+
4×+-commutative exp-sum sqrt-div associate-/l/ associate-+r+
3×1-exp pow-unpow rec-exp swap-sqr
2×pow-pow associate-*l/ distribute-lft1-in tan-sum cos-sum distribute-rgt1-in exp-to-pow rem-log-exp associate-+r- frac-add count-2 frac-times
1×pow-flip pow-plus div-sub inv-pow un-div-inv sqrt-unprod rem-exp-log pow-prod-up pow2 pow-sqr

localize428.0ms (1.2%)

bsearch41.0ms (0.1%)

end0.0ms (0.0%)

Profiling

Loading profile data...