Mul x2 Mul x3 Mul tanh Pow Mul sec Mul Add x0 sqrt E acoth x0 x0 x0 acosh tan x5 
Mul x2 Mul x3 Mul acosh tan x5 Mul Pow sech Pow Mul sec Mul Add x0 sqrt E acoth x0 x0 x0 2 Mul Pow Mul sec Mul Add x0 sqrt E acoth x0 x0 Add x0 -1 Add Mul x0 Add Mul x0 Mul Mul tan Mul Add x0 sqrt E acoth x0 sec Mul Add x0 sqrt E acoth x0 Add acoth x0 Mul Add x0 sqrt E Pow Add 1 Mul -1 Mul x0 x0 -1 sec Mul Add x0 sqrt E acoth x0 Mul Mul sec Mul Add x0 sqrt E acoth x0 x0 log Mul sec Mul Add x0 sqrt E acoth x0 x0 