Date:Thursday, July 2nd, 2020
Commit:4348ca69 on movability-off
Hostname:warfa with Racket 7.5
Seed:2020184
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 (48.0%)

Algorithm
22×intervals
Results
5.2s10958×body1280valid
2.8s72587×body80valid
2.0s6815×body640valid
829.0ms24768×pre80true
607.0ms2864×body320valid
213.0ms1364×body160valid

simplify4.6s (14.9%)

Algorithm
60×egg-herbie

prune4.1s (13.4%)

Filtered
2714 candidates to 1765 candidates (35.0%)

series3.6s (11.6%)

Calls

96 calls:

125.0ms
(+ x (- (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (tan a)))
125.0ms
(+ x (- (/ (+ (tan y) (tan z)) (- 1 (/ (* (tan y) (sin z)) (cos z)))) (tan a)))
118.0ms
(- (/ (/ (+ (* (sin y) (cos z)) (* (sin z) (cos y))) (* (cos y) (cos z))) (- 1 (* (tan y) (tan z)))) (tan a))
116.0ms
(- (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (tan a))
115.0ms
(- (/ (+ (tan y) (tan z)) (- 1 (/ (* (tan y) (sin z)) (cos z)))) (tan a))

regimes2.4s (7.9%)

Accuracy

Total 2.8b remaining (7.8%)

Threshold costs 2.8b (7.8%)

0.7b0%mixedcos
0.4b0%sqrt C
0.3b0%rsin A
0.3b98.2%sqrt D
0.3b98.2%sqrt E

rewrite808.0ms (2.6%)

Algorithm
38×rewrite-expression-head
Calls

96 calls:

21.0ms
(* (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))) (* (* (fabs x) (* (cbrt (cbrt (sqrt 2.0))) (cbrt (cbrt (sqrt 2.0))))) (cbrt (cbrt (sqrt 2.0)))))
19.0ms
(+ x (- (/ (+ (tan y) (tan z)) (- 1 (/ (* (tan y) (sin z)) (cos z)))) (tan a)))
18.0ms
(- (/ (/ (+ (* (sin y) (cos z)) (* (sin z) (cos y))) (* (cos y) (cos z))) (- 1 (* (tan y) (tan z)))) (tan a))
18.0ms
(- (/ (+ (tan y) (tan z)) (- 1 (/ (* (tan y) (sin z)) (cos z)))) (tan a))
14.0ms
(- (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (tan a))
Rules
1057×add-exp-log
657×add-sqr-sqrt
612×prod-exp
455×*-un-lft-identity
406×add-cube-cbrt
393×add-cbrt-cube
339×associate-*r*
268×times-frac
264×pow1
204×sqrt-prod
191×associate-*l*
169×cbrt-unprod
162×pow-exp
133×add-log-exp
127×div-exp
118×unswap-sqr
102×pow-to-exp
98×pow-prod-down
84×unpow-prod-down
57×associate-/l*
56×*-commutative
53×associate-/r*
47×cbrt-prod sqr-pow
44×cbrt-undiv
36×associate-/r/ sin-mult
31×cos-mult
28×div-inv
21×flip-- flip3--
20×frac-sub
19×tan-quot distribute-lft-out-- difference-of-squares
17×clear-num frac-2neg
15×sub-div
13×sub-neg diff-log
11×associate-/l/
10×sqrt-pow1
9×associate-*r/
7×sum-log distribute-lft-out
6×associate-+r+ flip-+ flip3-+
5×pow1/2
4×+-commutative associate-*l/
3×pow-unpow associate-+r- sin-cos-mult
2×frac-add tan-sum cos-sum sqrt-div div-sub frac-times pow-pow

localize390.0ms (1.3%)

bsearch60.0ms (0.2%)

end0.0ms (0.0%)

Profiling

Loading profile data...