Pow sec acosh x0 Pow Add Pow Add x1 Add Mul E -3 -3 x3 x0 tanh pi 
Mul Pow sec acosh x0 Add Pow Add Pow Add x1 Add Mul E -3 -3 x3 x0 tanh pi -1 Add Mul Pow Add Pow Add x1 Add Mul E -3 -3 x3 x0 tanh pi Mul Mul tan acosh x0 sec acosh x0 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Mul Mul sec acosh x0 log sec acosh x0 Mul Pow Add Pow Add x1 Add Mul E -3 -3 x3 x0 Add tanh pi -1 tanh pi 