Mul Add log asinh x0 Mul x0 Add E x5 acoth sin x0 
Add Mul acoth sin x0 Add Mul Pow sqrt Add 1 Mul x0 x0 -1 Pow asinh x0 -1 Add E x5 Mul Add log asinh x0 Mul x0 Add E x5 Mul cos x0 Pow Add 1 Mul -1 Mul sin x0 sin x0 -1 