Add Mul Mul sqrt coth acot x1 Mul Mul atan asinh x0 Add exp asech Pow x4 x0 x0 x0 x1 x0 
Add Mul x1 Mul sqrt coth acot x1 Add Mul x0 Add Mul Add exp asech Pow x4 x0 x0 Mul Pow sqrt Add 1 Mul x0 x0 -1 Pow Add 1 Mul asinh x0 asinh x0 -1 Mul atan asinh x0 Add Mul exp asech Pow x4 x0 Mul Mul Pow x4 Add x0 -1 Mul x4 log x4 Pow Mul Mul Pow x4 x0 Pow x4 x0 sqrt Add 1 Mul -1 Pow Mul Pow x4 x0 Pow x4 x0 -1 -1 1 Mul atan asinh x0 Add exp asech Pow x4 x0 x0 1 