Mul Add 5 x0 asec Pow Mul acot x0 Mul x0 Mul x0 x0 Mul x0 acosh x7 
Add asec Pow Mul acot x0 Mul x0 Mul x0 x0 Mul x0 acosh x7 Mul Add 5 x0 Mul Mul Pow Mul acot x0 Mul x0 Mul x0 x0 Add Mul x0 acosh x7 -1 Add Mul Mul x0 acosh x7 Add Mul Mul x0 Mul x0 x0 Mul -1 Pow Add 1 Mul x0 x0 -1 Mul acot x0 Add Mul x0 x0 Mul x0 Add x0 x0 Mul Mul Mul acot x0 Mul x0 Mul x0 x0 log Mul acot x0 Mul x0 Mul x0 x0 acosh x7 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Pow Mul acot x0 Mul x0 Mul x0 x0 Mul x0 acosh x7 Pow Mul acot x0 Mul x0 Mul x0 x0 Mul x0 acosh x7 -1 Pow Mul acot x0 Mul x0 Mul x0 x0 Mul x0 acosh x7 Pow Mul acot x0 Mul x0 Mul x0 x0 Mul x0 acosh x7 -1 