Mul Mul x1 x0 acosh Add sqrt x6 sin acot Mul 3 cosh Add x6 x0 
Add Mul acosh Add sqrt x6 sin acot Mul 3 cosh Add x6 x0 x1 Mul Mul x1 x0 Mul Mul cos acot Mul 3 cosh Add x6 x0 Mul -1 Mul Mul 3 sinh Add x6 x0 Pow Add 1 Mul Mul 3 cosh Add x6 x0 Mul 3 cosh Add x6 x0 -1 Pow Mul sqrt Add Add sqrt x6 sin acot Mul 3 cosh Add x6 x0 -1 sqrt Add 1 Add sqrt x6 sin acot Mul 3 cosh Add x6 x0 -1 