log acoth Add x0 Add Add Mul Mul tanh Mul 2 Mul x5 Add -2 x0 pi x0 x5 Pow x0 acosh atan acsc x2 
Mul Mul Add 1 Add Add Mul x0 Mul pi Mul Pow sech Mul 2 Mul x5 Add -2 x0 2 Mul 2 x5 Mul tanh Mul 2 Mul x5 Add -2 x0 pi Mul Pow x0 Add acosh atan acsc x2 -1 acosh atan acsc x2 Pow Add 1 Mul -1 Mul Add x0 Add Add Mul Mul tanh Mul 2 Mul x5 Add -2 x0 pi x0 x5 Pow x0 acosh atan acsc x2 Add x0 Add Add Mul Mul tanh Mul 2 Mul x5 Add -2 x0 pi x0 x5 Pow x0 acosh atan acsc x2 -1 Pow acoth Add x0 Add Add Mul Mul tanh Mul 2 Mul x5 Add -2 x0 pi x0 x5 Pow x0 acosh atan acsc x2 -1 