Mul acosh Mul x3 tanh asinh x0 sinh Mul cos x0 3 
Add Mul sinh Mul cos x0 3 Mul Mul x3 Mul Pow sech asinh x0 2 Pow sqrt Add 1 Mul x0 x0 -1 Pow Mul sqrt Add Mul x3 tanh asinh x0 -1 sqrt Add 1 Mul x3 tanh asinh x0 -1 Mul acosh Mul x3 tanh asinh x0 Mul cosh Mul cos x0 3 Mul 3 Mul -1 sin x0 