Mul 5 Add x3 Mul acot acosh Pow Pow tanh pi sinh x0 x0 coth sin x6 
Mul 5 Mul coth sin x6 Mul -1 Mul Mul Mul Pow Pow tanh pi sinh x0 Add x0 -1 Add Mul x0 Mul Pow tanh pi Add sinh x0 -1 Mul Mul tanh pi log tanh pi cosh x0 Mul Pow tanh pi sinh x0 log Pow tanh pi sinh x0 Pow Mul sqrt Add Pow Pow tanh pi sinh x0 x0 -1 sqrt Add 1 Pow Pow tanh pi sinh x0 x0 -1 Pow Add 1 Mul acosh Pow Pow tanh pi sinh x0 x0 acosh Pow Pow tanh pi sinh x0 x0 -1 