Add atanh Mul Mul Mul x1 x0 Pow Mul acsch log x0 cot x0 exp Add pi x6 -1 x4 
Mul Mul -1 Add Mul Pow Mul acsch log x0 cot x0 exp Add pi x6 x1 Mul Mul x1 x0 Mul Pow Mul acsch log x0 cot x0 Add exp Add pi x6 -1 Mul exp Add pi x6 Add Mul cot x0 Mul Mul -1 Pow x0 -1 Pow Mul Mul log x0 log x0 sqrt Add 1 Mul -1 Pow Mul log x0 log x0 -1 -1 Mul acsch log x0 Mul -1 Pow csc x0 2 Pow Add 1 Mul -1 Mul Mul Mul Mul x1 x0 Pow Mul acsch log x0 cot x0 exp Add pi x6 -1 Mul Mul Mul x1 x0 Pow Mul acsch log x0 cot x0 exp Add pi x6 -1 -1 