Add Pow Add -4 x0 asinh Mul Add asin x0 Pow acoth asin acot x1 cos x3 x0 x0 
Add Mul Pow Add -4 x0 Add asinh Mul Add asin x0 Pow acoth asin acot x1 cos x3 x0 -1 Add asinh Mul Add asin x0 Pow acoth asin acot x1 cos x3 x0 Mul Mul Add -4 x0 log Add -4 x0 Mul Add Mul x0 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Add asin x0 Pow acoth asin acot x1 cos x3 Pow sqrt Add 1 Mul Mul Add asin x0 Pow acoth asin acot x1 cos x3 x0 Mul Add asin x0 Pow acoth asin acot x1 cos x3 x0 -1 1 