Pow sin acot x3 cosh Add x0 Add sin Mul Mul Pow x0 x0 -3 2 sech x0 
Mul Pow sin acot x3 Add cosh Add x0 Add sin Mul Mul Pow x0 x0 -3 2 sech x0 -1 Mul Mul sin acot x3 log sin acot x3 Mul sinh Add x0 Add sin Mul Mul Pow x0 x0 -3 2 sech x0 Add 1 Add Mul cos Mul Mul Pow x0 x0 -3 2 Mul 2 Mul -3 Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 Mul tanh x0 Mul -1 sech x0 