Mul acot Pow acoth Mul -1 sinh Pow x7 x0 Add pi 5 x3 
Mul x3 Mul -1 Mul Mul Pow acoth Mul -1 sinh Pow x7 x0 Add Add pi 5 -1 Mul Add pi 5 Mul Mul -1 Mul cosh Pow x7 x0 Mul Pow x7 Add x0 -1 Mul x7 log x7 Pow Add 1 Mul -1 Mul Mul -1 sinh Pow x7 x0 Mul -1 sinh Pow x7 x0 -1 Pow Add 1 Mul Pow acoth Mul -1 sinh Pow x7 x0 Add pi 5 Pow acoth Mul -1 sinh Pow x7 x0 Add pi 5 -1 