Add asinh Add Mul x7 4 Add Mul -1 sqrt Pow x2 Mul x0 Add x1 Pow -1 x3 x0 Add x0 acoth x0 
Add Mul Add Mul -1 Mul Pow Mul 2 sqrt Pow x2 Mul x0 Add x1 Pow -1 x3 -1 Mul Pow x2 Add Mul x0 Add x1 Pow -1 x3 -1 Mul Mul x2 log x2 Add x1 Pow -1 x3 1 Pow sqrt Add 1 Mul Add Mul x7 4 Add Mul -1 sqrt Pow x2 Mul x0 Add x1 Pow -1 x3 x0 Add Mul x7 4 Add Mul -1 sqrt Pow x2 Mul x0 Add x1 Pow -1 x3 x0 -1 Add 1 Pow Add 1 Mul -1 Mul x0 x0 -1 