Add x0 Add acosh Mul 4 x0 tanh Add Mul Mul -4 Pow x0 x0 Add x3 Mul Add tanh x0 x6 x6 x7 
Add 1 Add Mul 4 Pow Mul sqrt Add Mul 4 x0 -1 sqrt Add 1 Mul 4 x0 -1 Mul Pow sech Add Mul Mul -4 Pow x0 x0 Add x3 Mul Add tanh x0 x6 x6 x7 2 Add Mul Add x3 Mul Add tanh x0 x6 x6 Mul -4 Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 Mul Mul -4 Pow x0 x0 Mul x6 Pow sech x0 2 