cos Pow Add x0 exp Mul x0 acoth Pow x0 x4 Mul Mul x0 x2 tan E 
Mul Mul -1 sin Pow Add x0 exp Mul x0 acoth Pow x0 x4 Mul Mul x0 x2 tan E Mul Pow Add x0 exp Mul x0 acoth Pow x0 x4 Add Mul Mul x0 x2 tan E -1 Add Mul Mul Mul x0 x2 tan E Add 1 Mul exp Mul x0 acoth Pow x0 x4 Add acoth Pow x0 x4 Mul x0 Mul Mul Pow x0 Add x4 -1 x4 Pow Add 1 Mul -1 Mul Pow x0 x4 Pow x0 x4 -1 Mul Mul Add x0 exp Mul x0 acoth Pow x0 x4 log Add x0 exp Mul x0 acoth Pow x0 x4 Mul tan E x2 