acosh Add atan acot x0 Pow Add x0 Add x0 4 tanh Mul asech x0 acot x0 
Mul Add Mul Mul -1 Pow Add 1 Mul x0 x0 -1 Pow Add 1 Mul acot x0 acot x0 -1 Mul Pow Add x0 Add x0 4 Add tanh Mul asech x0 acot x0 -1 Add Mul tanh Mul asech x0 acot x0 2 Mul Mul Add x0 Add x0 4 log Add x0 Add x0 4 Mul Pow sech Mul asech x0 acot x0 2 Add Mul acot x0 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Mul asech x0 Mul -1 Pow Add 1 Mul x0 x0 -1 Pow Mul sqrt Add Add atan acot x0 Pow Add x0 Add x0 4 tanh Mul asech x0 acot x0 -1 sqrt Add 1 Add atan acot x0 Pow Add x0 Add x0 4 tanh Mul asech x0 acot x0 -1 