Add Mul x0 x2 Mul x0 Add x3 Pow Pow acot x0 asech Mul x0 acosh x7 x0 
Add x2 Add Add x3 Pow Pow acot x0 asech Mul x0 acosh x7 x0 Mul x0 Mul Pow Pow acot x0 asech Mul x0 acosh x7 Add x0 -1 Add Mul x0 Mul Pow acot x0 Add asech Mul x0 acosh x7 -1 Add Mul asech Mul x0 acosh x7 Mul -1 Pow Add 1 Mul x0 x0 -1 Mul Mul acot x0 log acot x0 Mul acosh x7 Pow Mul Mul Mul x0 acosh x7 Mul x0 acosh x7 sqrt Add 1 Mul -1 Pow Mul Mul x0 acosh x7 Mul x0 acosh x7 -1 -1 Mul Pow acot x0 asech Mul x0 acosh x7 log Pow acot x0 asech Mul x0 acosh x7 