Mul Mul x5 Mul asin x0 x5 Pow Mul x3 Pow Add -2 x0 pi Pow acot x0 Pow acosh x7 x0 
Add Mul Pow Mul x3 Pow Add -2 x0 pi Pow acot x0 Pow acosh x7 x0 Mul x5 Mul x5 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Mul Mul x5 Mul asin x0 x5 Mul Pow Mul x3 Pow Add -2 x0 pi Add Pow acot x0 Pow acosh x7 x0 -1 Add Mul Pow acot x0 Pow acosh x7 x0 Mul x3 Mul Pow Add -2 x0 Add pi -1 pi Mul Mul Mul x3 Pow Add -2 x0 pi log Mul x3 Pow Add -2 x0 pi Mul Pow acot x0 Add Pow acosh x7 x0 -1 Add Mul Pow acosh x7 x0 Mul -1 Pow Add 1 Mul x0 x0 -1 Mul Mul acot x0 log acot x0 Mul Pow acosh x7 Add x0 -1 Mul acosh x7 log acosh x7 