Mul Mul Pow Add acot acosh x2 Mul -1 x0 Mul Mul x0 x2 x2 x0 x3 
Mul x3 Add Mul x0 Mul Pow Add acot acosh x2 Mul -1 x0 Add Mul Mul x0 x2 x2 -1 Add Mul Mul Mul x0 x2 x2 -1 Mul Mul Add acot acosh x2 Mul -1 x0 log Add acot acosh x2 Mul -1 x0 Mul x2 x2 Pow Add acot acosh x2 Mul -1 x0 Mul Mul x0 x2 x2 