sech Add Pow acot acsch x4 Mul sech Add sqrt x0 x3 x1 x0 
Mul Mul tanh Add Pow acot acsch x4 Mul sech Add sqrt x0 x3 x1 x0 Mul -1 sech Add Pow acot acsch x4 Mul sech Add sqrt x0 x3 x1 x0 Add Mul Pow acot acsch x4 Add Mul sech Add sqrt x0 x3 x1 -1 Mul Mul acot acsch x4 log acot acsch x4 Mul x1 Mul Mul tanh Add sqrt x0 x3 Mul -1 sech Add sqrt x0 x3 Pow Mul 2 sqrt x0 -1 1 