Mul Add acos Mul x1 Pow x0 E x1 sec Pow Pow x2 x4 acoth x0 
Add Mul sec Pow Pow x2 x4 acoth x0 Mul -1 Mul Mul x1 Mul Pow x0 Add E -1 E Pow sqrt Add 1 Mul -1 Mul Mul x1 Pow x0 E Mul x1 Pow x0 E -1 Mul Add acos Mul x1 Pow x0 E x1 Mul Mul tan Pow Pow x2 x4 acoth x0 sec Pow Pow x2 x4 acoth x0 Mul Pow Pow x2 x4 Add acoth x0 -1 Mul Mul Pow x2 x4 log Pow x2 x4 Pow Add 1 Mul -1 Mul x0 x0 -1 