Mul 3 Pow x0 Pow cot Add pi x0 sech Add acosh x4 x0 
Mul 3 Mul Pow x0 Add Pow cot Add pi x0 sech Add acosh x4 x0 -1 Add Pow cot Add pi x0 sech Add acosh x4 x0 Mul Mul x0 log x0 Mul Pow cot Add pi x0 Add sech Add acosh x4 x0 -1 Add Mul sech Add acosh x4 x0 Mul -1 Pow csc Add pi x0 2 Mul Mul cot Add pi x0 log cot Add pi x0 Mul tanh Add acosh x4 x0 Mul -1 sech Add acosh x4 x0 