Add pi Mul x0 Pow Add x2 Mul tan Mul x0 atan x0 sqrt log Mul acoth x0 exp x0 -5 
Add Pow Add x2 Mul tan Mul x0 atan x0 sqrt log Mul acoth x0 exp x0 -5 Mul x0 Mul Pow Add x2 Mul tan Mul x0 atan x0 sqrt log Mul acoth x0 exp x0 6 Mul -5 Add Mul sqrt log Mul acoth x0 exp x0 Mul Pow sec Mul x0 atan x0 2 Add atan x0 Mul x0 Pow Add 1 Mul x0 x0 -1 Mul tan Mul x0 atan x0 Mul Pow Mul 2 sqrt log Mul acoth x0 exp x0 -1 Mul Add Mul exp x0 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul acoth x0 exp x0 Pow Mul acoth x0 exp x0 -1 