Mul atanh Mul Mul Mul x0 x0 Mul exp Mul Mul x1 Mul x0 x0 pi -2 Mul acsch x0 x0 log Add Add x3 x7 x0 
Add Mul log Add Add x3 x7 x0 Mul Add Mul Mul acsch x0 x0 Add Mul Mul exp Mul Mul x1 Mul x0 x0 pi -2 Add x0 x0 Mul Mul x0 x0 Mul -2 Mul exp Mul Mul x1 Mul x0 x0 pi Mul pi Mul x1 Add x0 x0 Mul Mul Mul x0 x0 Mul exp Mul Mul x1 Mul x0 x0 pi -2 Add Mul x0 Mul -1 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 acsch x0 Pow Add 1 Mul -1 Mul Mul Mul Mul x0 x0 Mul exp Mul Mul x1 Mul x0 x0 pi -2 Mul acsch x0 x0 Mul Mul Mul x0 x0 Mul exp Mul Mul x1 Mul x0 x0 pi -2 Mul acsch x0 x0 -1 Mul atanh Mul Mul Mul x0 x0 Mul exp Mul Mul x1 Mul x0 x0 pi -2 Mul acsch x0 x0 Pow Add Add x3 x7 x0 -1 