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