Add sec x7 Pow Add pi Mul Pow acoth x7 Add cos x0 x0 sinh Mul x2 Add Pow Add x0 2 E Add -1 x0 x5 
Mul Pow Add pi Mul Pow acoth x7 Add cos x0 x0 sinh Mul x2 Add Pow Add x0 2 E Add -1 x0 Add x5 -1 Mul x5 Add Mul sinh Mul x2 Add Pow Add x0 2 E Add -1 x0 Mul Pow acoth x7 Add Add cos x0 x0 -1 Mul Mul acoth x7 log acoth x7 Add Mul -1 sin x0 1 Mul Pow acoth x7 Add cos x0 x0 Mul cosh Mul x2 Add Pow Add x0 2 E Add -1 x0 Mul x2 Add Mul Pow Add x0 2 Add E -1 E 1 