csc Add acot Add x0 E Add asec Mul x0 -3 Mul coth x4 x0 
Mul Mul Mul -1 cot Add acot Add x0 E Add asec Mul x0 -3 Mul coth x4 x0 csc Add acot Add x0 E Add asec Mul x0 -3 Mul coth x4 x0 Add Mul -1 Pow Add 1 Mul Add x0 E Add x0 E -1 Add Mul -3 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Mul x0 -3 Mul x0 -3 -1 Mul x0 -3 Mul x0 -3 -1 coth x4 