Mul Mul asinh exp x0 acos Mul x0 coth x3 x0 
Add Mul x0 Add Mul acos Mul x0 coth x3 Mul exp x0 Pow sqrt Add 1 Mul exp x0 exp x0 -1 Mul asinh exp x0 Mul -1 Mul coth x3 Pow sqrt Add 1 Mul -1 Mul Mul x0 coth x3 Mul x0 coth x3 -1 Mul asinh exp x0 acos Mul x0 coth x3 