cos Add Mul x0 x0 Pow Add sech x2 Pow acoth exp x0 Pow x0 x0 x0 
Mul Mul -1 sin Add Mul x0 x0 Pow Add sech x2 Pow acoth exp x0 Pow x0 x0 x0 Add Add x0 x0 Mul Pow Add sech x2 Pow acoth exp x0 Pow x0 x0 Add x0 -1 Add Mul x0 Mul Pow acoth exp x0 Add Pow x0 x0 -1 Add Mul Pow x0 x0 Mul exp x0 Pow Add 1 Mul -1 Mul exp x0 exp x0 -1 Mul Mul acoth exp x0 log acoth exp x0 Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 Mul Add sech x2 Pow acoth exp x0 Pow x0 x0 log Add sech x2 Pow acoth exp x0 Pow x0 x0 