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