Mul Mul x0 Mul coth cosh x1 asin x0 Pow pi x0 
Add Mul Pow pi x0 Add Mul coth cosh x1 asin x0 Mul x0 Mul coth cosh x1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Mul Mul x0 Mul coth cosh x1 asin x0 Mul Pow pi Add x0 -1 Mul pi log pi 