Mul x0 Mul Pow acot sinh sinh x0 x0 x0 
Add Mul Pow acot sinh sinh x0 x0 x0 Mul x0 Add Mul x0 Mul Pow acot sinh sinh x0 Add x0 -1 Add Mul x0 Mul -1 Mul Mul cosh sinh x0 cosh x0 Pow Add 1 Mul sinh sinh x0 sinh sinh x0 -1 Mul acot sinh sinh x0 log acot sinh sinh x0 Pow acot sinh sinh x0 x0 