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