Add Add -2 x0 Mul Pow acosh Add 3 sqrt Mul Mul x0 4 x0 acot x7 -4 
Add 1 Mul -4 Mul Pow acosh Add 3 sqrt Mul Mul x0 4 x0 Add acot x7 -1 Mul acot x7 Mul Mul Pow Mul 2 sqrt Mul Mul x0 4 x0 -1 Add Mul x0 4 Mul x0 4 Pow Mul sqrt Add Add 3 sqrt Mul Mul x0 4 x0 -1 sqrt Add 1 Add 3 sqrt Mul Mul x0 4 x0 -1 