asinh Add Add Mul pi Mul Add E acot sinh sin x0 x0 sin x0 x7 
Mul Add Mul pi Add Mul x0 Mul -1 Mul Mul cosh sin x0 cos x0 Pow Add 1 Mul sinh sin x0 sinh sin x0 -1 Add E acot sinh sin x0 cos x0 Pow sqrt Add 1 Mul Add Add Mul pi Mul Add E acot sinh sin x0 x0 sin x0 x7 Add Add Mul pi Mul Add E acot sinh sin x0 x0 sin x0 x7 -1 