Add sinh x0 cos Mul Mul pi x5 Pow asinh atanh Mul -3 x7 acot x0 
Add cosh x0 Mul Mul -1 sin Mul Mul pi x5 Pow asinh atanh Mul -3 x7 acot x0 Mul Mul pi x5 Mul Pow asinh atanh Mul -3 x7 Add acot x0 -1 Mul Mul asinh atanh Mul -3 x7 log asinh atanh Mul -3 x7 Mul -1 Pow Add 1 Mul x0 x0 -1 