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