Add Mul Pow x0 Add Pow Add Mul x0 x4 x0 pi -4 -4 tan Pow x4 sec Pow acoth x0 2 
Add Mul -4 Mul Pow x0 Add Add Pow Add Mul x0 x4 x0 pi -4 -1 Add Add Pow Add Mul x0 x4 x0 pi -4 Mul Mul x0 log x0 Mul Pow Add Mul x0 x4 x0 Add pi -1 Mul pi Add x4 1 Mul Pow sec Pow x4 sec Pow acoth x0 2 2 Mul Pow x4 Add sec Pow acoth x0 2 -1 Mul Mul x4 log x4 Mul Mul tan Pow acoth x0 2 sec Pow acoth x0 2 Mul acoth x0 Mul 2 Pow Add 1 Mul -1 Mul x0 x0 -1 