Pow x1 Add Mul x3 sech Add Add asin atanh x0 acot x0 x0 -4 
Mul Pow x1 Add Add Mul x3 sech Add Add asin atanh x0 acot x0 x0 -4 -1 Mul Mul x1 log x1 Mul x3 Mul Mul tanh Add Add asin atanh x0 acot x0 x0 Mul -1 sech Add Add asin atanh x0 acot x0 x0 Add Add Mul Pow Add 1 Mul -1 Mul x0 x0 -1 Pow sqrt Add 1 Mul -1 Mul atanh x0 atanh x0 -1 Mul -1 Pow Add 1 Mul x0 x0 -1 1 