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