acosh Mul x0 Pow Mul x6 Pow x0 acot x7 x0 
Mul Add Pow Mul x6 Pow x0 acot x7 x0 Mul x0 Mul Pow Mul x6 Pow x0 acot x7 Add x0 -1 Add Mul x0 Mul x6 Mul Pow x0 Add acot x7 -1 acot x7 Mul Mul x6 Pow x0 acot x7 log Mul x6 Pow x0 acot x7 Pow Mul sqrt Add Mul x0 Pow Mul x6 Pow x0 acot x7 x0 -1 sqrt Add 1 Mul x0 Pow Mul x6 Pow x0 acot x7 x0 -1 