tan Add exp Pow x2 Mul acoth x0 x0 -5 
Mul Pow sec Add exp Pow x2 Mul acoth x0 x0 -5 2 Mul exp Pow x2 Mul acoth x0 x0 Mul Pow x2 Add Mul acoth x0 x0 -1 Mul Mul x2 log x2 Add Mul x0 Pow Add 1 Mul -1 Mul x0 x0 -1 acoth x0 