Add x0 acos Mul x0 atan Mul Pow Pow Pow acot Mul Mul x0 acosh x0 x0 Mul x0 x7 x0 Mul Add 1 x5 x0 x2 
Add 1 Mul -1 Mul Add atan Mul Pow Pow Pow acot Mul Mul x0 acosh x0 x0 Mul x0 x7 x0 Mul Add 1 x5 x0 x2 Mul x0 Mul Mul x2 Mul Pow Pow Pow acot Mul Mul x0 acosh x0 x0 Mul x0 x7 x0 Add Mul Add 1 x5 x0 -1 Add Mul Mul Add 1 x5 x0 Mul Pow Pow acot Mul Mul x0 acosh x0 x0 Mul x0 x7 Add x0 -1 Add Mul x0 Mul Pow acot Mul Mul x0 acosh x0 x0 Add Mul x0 x7 -1 Add Mul Mul x0 x7 Mul -1 Mul Add Mul x0 Add acosh x0 Mul x0 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Mul x0 acosh x0 Pow Add 1 Mul Mul Mul x0 acosh x0 x0 Mul Mul x0 acosh x0 x0 -1 Mul Mul acot Mul Mul x0 acosh x0 x0 log acot Mul Mul x0 acosh x0 x0 x7 Mul Pow acot Mul Mul x0 acosh x0 x0 Mul x0 x7 log Pow acot Mul Mul x0 acosh x0 x0 Mul x0 x7 Mul Mul Pow Pow acot Mul Mul x0 acosh x0 x0 Mul x0 x7 x0 log Pow Pow acot Mul Mul x0 acosh x0 x0 Mul x0 x7 x0 Add 1 x5 Pow Add 1 Mul Mul Pow Pow Pow acot Mul Mul x0 acosh x0 x0 Mul x0 x7 x0 Mul Add 1 x5 x0 x2 Mul Pow Pow Pow acot Mul Mul x0 acosh x0 x0 Mul x0 x7 x0 Mul Add 1 x5 x0 x2 -1 Pow sqrt Add 1 Mul -1 Mul Mul x0 atan Mul Pow Pow Pow acot Mul Mul x0 acosh x0 x0 Mul x0 x7 x0 Mul Add 1 x5 x0 x2 Mul x0 atan Mul Pow Pow Pow acot Mul Mul x0 acosh x0 x0 Mul x0 x7 x0 Mul Add 1 x5 x0 x2 -1 