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