sec Mul sech coth acoth x0 x6 
Mul Mul tan Mul sech coth acoth x0 x6 sec Mul sech coth acoth x0 x6 Mul x6 Mul Mul tanh coth acoth x0 Mul -1 sech coth acoth x0 Mul Mul -1 Pow csch acoth x0 2 Pow Add 1 Mul -1 Mul x0 x0 -1 