tan acosh Add Add sinh coth x0 Add Pow x0 4 pi Pow Mul x0 x4 tan E 
Mul Pow sec acosh Add Add sinh coth x0 Add Pow x0 4 pi Pow Mul x0 x4 tan E 2 Mul Add Add Mul cosh coth x0 Mul -1 Pow csch x0 2 Mul Pow x0 3 4 Mul Pow Mul x0 x4 Add tan E -1 Mul tan E x4 Pow Mul sqrt Add Add Add sinh coth x0 Add Pow x0 4 pi Pow Mul x0 x4 tan E -1 sqrt Add 1 Add Add sinh coth x0 Add Pow x0 4 pi Pow Mul x0 x4 tan E -1 