Pow acot sqrt Pow Add x0 x1 asin Mul Mul x0 Pow x0 pi Mul Mul x0 cosh x6 x0 -3 
Mul Pow acot sqrt Pow Add x0 x1 asin Mul Mul x0 Pow x0 pi Mul Mul x0 cosh x6 x0 4 Mul -3 Mul -1 Mul Mul Pow Mul 2 sqrt Pow Add x0 x1 asin Mul Mul x0 Pow x0 pi Mul Mul x0 cosh x6 x0 -1 Mul Pow Add x0 x1 Add asin Mul Mul x0 Pow x0 pi Mul Mul x0 cosh x6 x0 -1 Add asin Mul Mul x0 Pow x0 pi Mul Mul x0 cosh x6 x0 Mul Mul Add x0 x1 log Add x0 x1 Mul Add Mul Mul Mul x0 cosh x6 x0 Add Pow x0 pi Mul x0 Mul Pow x0 Add pi -1 pi Mul Mul x0 Pow x0 pi Add Mul x0 cosh x6 Mul x0 cosh x6 Pow sqrt Add 1 Mul -1 Mul Mul Mul x0 Pow x0 pi Mul Mul x0 cosh x6 x0 Mul Mul x0 Pow x0 pi Mul Mul x0 cosh x6 x0 -1 Pow Add 1 Mul sqrt Pow Add x0 x1 asin Mul Mul x0 Pow x0 pi Mul Mul x0 cosh x6 x0 sqrt Pow Add x0 x1 asin Mul Mul x0 Pow x0 pi Mul Mul x0 cosh x6 x0 -1 