Mul x3 Mul x0 Mul log Add acos Mul Add x2 x0 2 x0 csch acos Mul asinh x0 cos x2 
Mul x3 Add Mul log Add acos Mul Add x2 x0 2 x0 csch acos Mul asinh x0 cos x2 Mul x0 Add Mul csch acos Mul asinh x0 cos x2 Mul Add Mul -1 Mul 2 Pow sqrt Add 1 Mul -1 Mul Mul Add x2 x0 2 Mul Add x2 x0 2 -1 1 Pow Add acos Mul Add x2 x0 2 x0 -1 Mul log Add acos Mul Add x2 x0 2 x0 Mul Mul Mul -1 coth acos Mul asinh x0 cos x2 csch acos Mul asinh x0 cos x2 Mul -1 Mul Mul cos x2 Pow sqrt Add 1 Mul x0 x0 -1 Pow sqrt Add 1 Mul -1 Mul Mul asinh x0 cos x2 Mul asinh x0 cos x2 -1 