acoth tanh Mul Add sec x0 acosh x0 Add x5 3 
Mul Mul Pow sech Mul Add sec x0 acosh x0 Add x5 3 2 Mul Add x5 3 Add Mul tan x0 sec x0 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Pow Add 1 Mul -1 Mul tanh Mul Add sec x0 acosh x0 Add x5 3 tanh Mul Add sec x0 acosh x0 Add x5 3 -1 