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