tanh Mul Pow Mul x0 x0 x0 Add -1 Pow x0 acosh x3 
Mul Pow sech Mul Pow Mul x0 x0 x0 Add -1 Pow x0 acosh x3 2 Add Mul Add -1 Pow x0 acosh x3 Mul Pow Mul x0 x0 Add x0 -1 Add Mul x0 Add x0 x0 Mul Mul x0 x0 log Mul x0 x0 Mul Pow Mul x0 x0 x0 Mul Pow x0 Add acosh x3 -1 acosh x3 