Mul x0 Mul x3 sqrt Pow acsc acosh Add log x0 acot x0 x4 
Add Mul x3 sqrt Pow acsc acosh Add log x0 acot x0 x4 Mul x0 Mul x3 Mul Pow Mul 2 sqrt Pow acsc acosh Add log x0 acot x0 x4 -1 Mul Pow acsc acosh Add log x0 acot x0 Add x4 -1 Mul x4 Mul -1 Mul Mul Add Pow x0 -1 Mul -1 Pow Add 1 Mul x0 x0 -1 Pow Mul sqrt Add Add log x0 acot x0 -1 sqrt Add 1 Add log x0 acot x0 -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul acosh Add log x0 acot x0 acosh Add log x0 acot x0 -1 acosh Add log x0 acot x0 acosh Add log x0 acot x0 -1 