tanh Add x0 Add Mul 5 sech log Mul Add x0 x0 Mul acosh Pow x1 tan x0 x4 x6 
Mul Pow sech Add x0 Add Mul 5 sech log Mul Add x0 x0 Mul acosh Pow x1 tan x0 x4 x6 2 Add 1 Mul 5 Mul Mul tanh log Mul Add x0 x0 Mul acosh Pow x1 tan x0 x4 Mul -1 sech log Mul Add x0 x0 Mul acosh Pow x1 tan x0 x4 Mul Add Mul Mul acosh Pow x1 tan x0 x4 2 Mul Add x0 x0 Mul x4 Mul Mul Pow x1 Add tan x0 -1 Mul Mul x1 log x1 Pow sec x0 2 Pow Mul sqrt Add Pow x1 tan x0 -1 sqrt Add 1 Pow x1 tan x0 -1 Pow Mul Add x0 x0 Mul acosh Pow x1 tan x0 x4 -1 