Pow asin Mul x7 Mul cosh x0 pi Add 1.31811607165282 Add x0 x0 
Mul Pow asin Mul x7 Mul cosh x0 pi Add Add 1.31811607165282 Add x0 x0 -1 Add Mul Add 1.31811607165282 Add x0 x0 Mul Mul x7 Mul pi sinh x0 Pow sqrt Add 1 Mul -1 Mul Mul x7 Mul cosh x0 pi Mul x7 Mul cosh x0 pi -1 Mul Mul asin Mul x7 Mul cosh x0 pi log asin Mul x7 Mul cosh x0 pi 2 