Mul x0 Add Pow log sech acosh Pow x1 csch x6 tanh x0 3 
Add Add Pow log sech acosh Pow x1 csch x6 tanh x0 3 Mul x0 Mul Pow log sech acosh Pow x1 csch x6 Add tanh x0 -1 Mul Mul log sech acosh Pow x1 csch x6 log log sech acosh Pow x1 csch x6 Pow sech x0 2 