Mul Add Add Pow acot x0 x0 acoth sinh x0 x0 Add x0 Add x0 x6 
Add Mul Add x0 Add x0 x6 Add Add Mul Pow acot x0 Add x0 -1 Add Mul x0 Mul -1 Pow Add 1 Mul x0 x0 -1 Mul acot x0 log acot x0 Mul cosh x0 Pow Add 1 Mul -1 Mul sinh x0 sinh x0 -1 1 Mul Add Add Pow acot x0 x0 acoth sinh x0 x0 2 