Add Add x1 Add 0.202732554054082 acoth Mul acoth x0 Pow Pow x0 Mul x0 acos x3 asec x0 Pow x2 sinh x0 
Add Mul Add Mul Pow Pow x0 Mul x0 acos x3 asec x0 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul acoth x0 Mul Pow Pow x0 Mul x0 acos x3 Add asec x0 -1 Add Mul asec x0 Mul Pow x0 Add Mul x0 acos x3 -1 Add Mul x0 acos x3 Mul Mul x0 log x0 acos x3 Mul Mul Pow x0 Mul x0 acos x3 log Pow x0 Mul x0 acos x3 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 x0 x0 -1 Pow Add 1 Mul -1 Mul Mul acoth x0 Pow Pow x0 Mul x0 acos x3 asec x0 Mul acoth x0 Pow Pow x0 Mul x0 acos x3 asec x0 -1 Mul Pow x2 Add sinh x0 -1 Mul Mul x2 log x2 cosh x0 