Mul x0 Mul -2 Pow exp Add csch Pow x0 Mul x0 Add Pow Add atanh x0 E 2 asec x3 x0 Add pi -4 
Add Mul -2 Pow exp Add csch Pow x0 Mul x0 Add Pow Add atanh x0 E 2 asec x3 x0 Add pi -4 Mul x0 Mul -2 Mul Pow exp Add csch Pow x0 Mul x0 Add Pow Add atanh x0 E 2 asec x3 x0 Add Add pi -4 -1 Mul Add pi -4 Mul exp Add csch Pow x0 Mul x0 Add Pow Add atanh x0 E 2 asec x3 x0 Add Mul Mul Mul -1 coth Pow x0 Mul x0 Add Pow Add atanh x0 E 2 asec x3 csch Pow x0 Mul x0 Add Pow Add atanh x0 E 2 asec x3 Mul Pow x0 Add Mul x0 Add Pow Add atanh x0 E 2 asec x3 -1 Add Mul x0 Add Pow Add atanh x0 E 2 asec x3 Mul Mul x0 log x0 Add Add Pow Add atanh x0 E 2 asec x3 Mul x0 Mul Add atanh x0 E Mul 2 Pow Add 1 Mul -1 Mul x0 x0 -1 1 