Pow tanh x3 Mul acoth x0 Pow Add E sec sec acos x0 Add sech pi -2 
Mul Pow tanh x3 Add Mul acoth x0 Pow Add E sec sec acos x0 Add sech pi -2 -1 Mul Mul tanh x3 log tanh x3 Add Mul Pow Add E sec sec acos x0 Add sech pi -2 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul acoth x0 Mul Pow Add E sec sec acos x0 Add Add sech pi -2 -1 Mul Add sech pi -2 Mul Mul tan sec acos x0 sec sec acos x0 Mul Mul tan acos x0 sec acos x0 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 