Mul -3 Mul acoth acosh Pow sech Mul x0 acos x7 -3 Mul -4 x0 
Mul -3 Add Mul Mul -4 x0 Mul Mul Mul Pow sech Mul x0 acos x7 4 Mul -3 Mul Mul tanh Mul x0 acos x7 Mul -1 sech Mul x0 acos x7 acos x7 Pow Mul sqrt Add Pow sech Mul x0 acos x7 -3 -1 sqrt Add 1 Pow sech Mul x0 acos x7 -3 -1 Pow Add 1 Mul -1 Mul acosh Pow sech Mul x0 acos x7 -3 acosh Pow sech Mul x0 acos x7 -3 -1 Mul acoth acosh Pow sech Mul x0 acos x7 -3 -4 