Mul Add x0 Add Pow -2 x3 x0 Add cot x0 Mul Pow acot x0 acosh Add Mul asech pi x6 x7 Pow x3 x0 
Add Mul Add cot x0 Mul Pow acot x0 acosh Add Mul asech pi x6 x7 Pow x3 x0 2 Mul Add x0 Add Pow -2 x3 x0 Add Mul -1 Pow csc x0 2 Add Mul Pow x3 x0 Mul Pow acot x0 Add acosh Add Mul asech pi x6 x7 -1 Mul acosh Add Mul asech pi x6 x7 Mul -1 Pow Add 1 Mul x0 x0 -1 Mul Pow acot x0 acosh Add Mul asech pi x6 x7 Mul Pow x3 Add x0 -1 Mul x3 log x3 