Mul Mul Mul Mul x0 atanh x0 sqrt x0 x0 Add acot x0 cosh x5 
Add Mul Add acot x0 cosh x5 Add Mul x0 Add Mul sqrt x0 Add atanh x0 Mul x0 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Mul x0 atanh x0 Pow Mul 2 sqrt x0 -1 Mul Mul x0 atanh x0 sqrt x0 Mul Mul Mul Mul x0 atanh x0 sqrt x0 x0 Mul -1 Pow Add 1 Mul x0 x0 -1 