Add acosh x0 Add Add Add x3 -3 Pow Pow x0 Add x1 4 Mul 7.01525255143453 sech x0 x0 
Add Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Add Mul Pow Pow x0 Add x1 4 Add Mul 7.01525255143453 sech x0 -1 Add Mul Mul 7.01525255143453 sech x0 Mul Pow x0 Add Add x1 4 -1 Add x1 4 Mul Mul Pow x0 Add x1 4 log Pow x0 Add x1 4 Mul 7.01525255143453 Mul tanh x0 Mul -1 sech x0 1 