Mul Mul 4 sinh Pow cos Add E cosh x0 x0 Pow 2 Mul -2 Pow acot asin x5 Pow x7 2 
Mul Pow 2 Mul -2 Pow acot asin x5 Pow x7 2 Mul 4 Mul cosh Pow cos Add E cosh x0 x0 Mul Pow cos Add E cosh x0 Add x0 -1 Add Mul x0 Mul Mul -1 sin Add E cosh x0 sinh x0 Mul cos Add E cosh x0 log cos Add E cosh x0 