coth Add Pow log x3 Mul x0 asin x0 x2 
Mul Mul -1 Pow csch Add Pow log x3 Mul x0 asin x0 x2 2 Mul Pow log x3 Add Mul x0 asin x0 -1 Mul Mul log x3 log log x3 Add asin x0 Mul x0 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 