Pow Mul x0 4 Pow asin log x4 coth Mul exp x0 x0 
Mul Pow Mul x0 4 Add Pow asin log x4 coth Mul exp x0 x0 -1 Add Mul Pow asin log x4 coth Mul exp x0 x0 4 Mul Mul Mul x0 4 log Mul x0 4 Mul Pow asin log x4 Add coth Mul exp x0 x0 -1 Mul Mul asin log x4 log asin log x4 Mul Mul -1 Pow csch Mul exp x0 x0 2 Add Mul x0 exp x0 exp x0 