Add x0 Mul pi Pow asin Add 9 atanh x0 Mul Mul Mul x6 Pow cosh x6 sinh x0 pi x0 
Add 1 Mul pi Mul Pow asin Add 9 atanh x0 Add Mul Mul Mul x6 Pow cosh x6 sinh x0 pi x0 -1 Add Mul Mul Mul Mul x6 Pow cosh x6 sinh x0 pi x0 Mul Pow Add 1 Mul -1 Mul x0 x0 -1 Pow sqrt Add 1 Mul -1 Mul Add 9 atanh x0 Add 9 atanh x0 -1 Mul Mul asin Add 9 atanh x0 log asin Add 9 atanh x0 Add Mul x0 Mul pi Mul x6 Mul Pow cosh x6 Add sinh x0 -1 Mul Mul cosh x6 log cosh x6 cosh x0 Mul Mul x6 Pow cosh x6 sinh x0 pi 