Pow Add Add Pow Mul x0 2 Pow coth exp x0 x1 exp Add x0 x0 asin x3 -1 
Mul Pow Add Add Pow Mul x0 2 Pow coth exp x0 x1 exp Add x0 x0 asin x3 2 Mul -1 Add Mul Pow Mul x0 2 Add Pow coth exp x0 x1 -1 Add Mul Pow coth exp x0 x1 2 Mul Mul Mul x0 2 log Mul x0 2 Mul Pow coth exp x0 Add x1 -1 Mul x1 Mul Mul -1 Pow csch exp x0 2 exp x0 Mul exp Add x0 x0 2 