Add Mul atanh Add pi x0 Add Add x0 Add Add x0 Pow -1 x1 x0 sech coth acos x0 x0 
Add Add Mul Add Add x0 Add Add x0 Pow -1 x1 x0 sech coth acos x0 Pow Add 1 Mul -1 Mul Add pi x0 Add pi x0 -1 Mul atanh Add pi x0 Add 3 Mul Mul tanh coth acos x0 Mul -1 sech coth acos x0 Mul Mul -1 Pow csch acos x0 2 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 1 