Pow Add acot Mul x0 Pow tan Add E cos x1 Add x0 Mul x0 x0 x1 2 
Mul Add acot Mul x0 Pow tan Add E cos x1 Add x0 Mul x0 x0 x1 Mul 2 Mul -1 Mul Add Pow tan Add E cos x1 Add x0 Mul x0 x0 Mul x0 Mul Pow tan Add E cos x1 Add Add x0 Mul x0 x0 -1 Mul Mul tan Add E cos x1 log tan Add E cos x1 Add 1 Add x0 x0 Pow Add 1 Mul Mul x0 Pow tan Add E cos x1 Add x0 Mul x0 x0 Mul x0 Pow tan Add E cos x1 Add x0 Mul x0 x0 -1 