coth Mul x0 csch sqrt Add tan log x0 1 
Mul Mul -1 Pow csch Mul x0 csch sqrt Add tan log x0 1 2 Add csch sqrt Add tan log x0 1 Mul x0 Mul Mul Mul -1 coth sqrt Add tan log x0 1 csch sqrt Add tan log x0 1 Mul Pow Mul 2 sqrt Add tan log x0 1 -1 Mul Pow sec log x0 2 Pow x0 -1 