sec Mul Pow Add E atan Add -5 Mul acoth x4 acoth x0 Pow atan x0 sinh x0 x0 
Mul Mul tan Mul Pow Add E atan Add -5 Mul acoth x4 acoth x0 Pow atan x0 sinh x0 x0 sec Mul Pow Add E atan Add -5 Mul acoth x4 acoth x0 Pow atan x0 sinh x0 x0 Add Mul x0 Mul Pow Add E atan Add -5 Mul acoth x4 acoth x0 Add Pow atan x0 sinh x0 -1 Add Mul Pow atan x0 sinh x0 Mul Mul acoth x4 Pow Add 1 Mul -1 Mul x0 x0 -1 Pow Add 1 Mul Add -5 Mul acoth x4 acoth x0 Add -5 Mul acoth x4 acoth x0 -1 Mul Mul Add E atan Add -5 Mul acoth x4 acoth x0 log Add E atan Add -5 Mul acoth x4 acoth x0 Mul Pow atan x0 Add sinh x0 -1 Add Mul sinh x0 Pow Add 1 Mul x0 x0 -1 Mul Mul atan x0 log atan x0 cosh x0 Pow Add E atan Add -5 Mul acoth x4 acoth x0 Pow atan x0 sinh x0 