Pow acos atanh x0 csch sqrt Add x3 coth Add x0 tanh Add Mul x3 Mul x3 x0 x0 
Mul Pow acos atanh x0 Add csch sqrt Add x3 coth Add x0 tanh Add Mul x3 Mul x3 x0 x0 -1 Add Mul csch sqrt Add x3 coth Add x0 tanh Add Mul x3 Mul x3 x0 x0 Mul -1 Mul Pow Add 1 Mul -1 Mul x0 x0 -1 Pow sqrt Add 1 Mul -1 Mul atanh x0 atanh x0 -1 Mul Mul acos atanh x0 log acos atanh x0 Mul Mul Mul -1 coth sqrt Add x3 coth Add x0 tanh Add Mul x3 Mul x3 x0 x0 csch sqrt Add x3 coth Add x0 tanh Add Mul x3 Mul x3 x0 x0 Mul Pow Mul 2 sqrt Add x3 coth Add x0 tanh Add Mul x3 Mul x3 x0 x0 -1 Mul Mul -1 Pow csch Add x0 tanh Add Mul x3 Mul x3 x0 x0 2 Add 1 Mul Pow sech Add Mul x3 Mul x3 x0 x0 2 Add Mul x3 x3 1 