atanh Mul Mul acsc Pow Mul x7 x0 Add acoth sech x1 Add pi x0 x0 x3 
Mul Mul x3 Add Mul x0 Mul -1 Mul Mul Pow Mul x7 x0 Add Add acoth sech x1 Add pi x0 -1 Add Mul Add acoth sech x1 Add pi x0 x7 Mul Mul x7 x0 log Mul x7 x0 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Pow Mul x7 x0 Add acoth sech x1 Add pi x0 Pow Mul x7 x0 Add acoth sech x1 Add pi x0 -1 Pow Mul x7 x0 Add acoth sech x1 Add pi x0 Pow Mul x7 x0 Add acoth sech x1 Add pi x0 -1 acsc Pow Mul x7 x0 Add acoth sech x1 Add pi x0 Pow Add 1 Mul -1 Mul Mul Mul acsc Pow Mul x7 x0 Add acoth sech x1 Add pi x0 x0 x3 Mul Mul acsc Pow Mul x7 x0 Add acoth sech x1 Add pi x0 x0 x3 -1 