log Mul Pow exp sech x2 Mul x0 Add -2 acos sqrt acoth Pow x0 x5 x2 
Mul Mul x2 Mul Pow exp sech x2 Add Mul x0 Add -2 acos sqrt acoth Pow x0 x5 -1 Mul Mul exp sech x2 log exp sech x2 Add Add -2 acos sqrt acoth Pow x0 x5 Mul x0 Mul -1 Mul Mul Pow Mul 2 sqrt acoth Pow x0 x5 -1 Mul Mul Pow x0 Add x5 -1 x5 Pow Add 1 Mul -1 Mul Pow x0 x5 Pow x0 x5 -1 Pow sqrt Add 1 Mul -1 Mul sqrt acoth Pow x0 x5 sqrt acoth Pow x0 x5 -1 Pow Mul Pow exp sech x2 Mul x0 Add -2 acos sqrt acoth Pow x0 x5 x2 -1 