tanh Mul x2 Mul Pow Add sech Mul Pow Mul Add -3 x0 x0 x0 x0 sec x0 Add x4 acosh x1 2 
Mul Pow sech Mul x2 Mul Pow Add sech Mul Pow Mul Add -3 x0 x0 x0 x0 sec x0 Add x4 acosh x1 2 2 Mul x2 Mul 2 Mul Pow Add sech Mul Pow Mul Add -3 x0 x0 x0 x0 sec x0 Add Add x4 acosh x1 -1 Mul Add x4 acosh x1 Add Mul Mul tanh Mul Pow Mul Add -3 x0 x0 x0 x0 Mul -1 sech Mul Pow Mul Add -3 x0 x0 x0 x0 Add Mul x0 Mul Pow Mul Add -3 x0 x0 Add x0 -1 Add Mul x0 Add x0 Add -3 x0 Mul Mul Add -3 x0 x0 log Mul Add -3 x0 x0 Pow Mul Add -3 x0 x0 x0 Mul tan x0 sec x0 