asinh Mul acosh Add Mul x3 7 Mul Pow x0 log sech x7 x1 2 
Mul Mul 2 Mul Mul x1 Mul Pow x0 Add log sech x7 -1 log sech x7 Pow Mul sqrt Add Add Mul x3 7 Mul Pow x0 log sech x7 x1 -1 sqrt Add 1 Add Mul x3 7 Mul Pow x0 log sech x7 x1 -1 Pow sqrt Add 1 Mul Mul acosh Add Mul x3 7 Mul Pow x0 log sech x7 x1 2 Mul acosh Add Mul x3 7 Mul Pow x0 log sech x7 x1 2 -1 