Mul Mul sin Mul acsch sec cos acot x0 asinh pi -2 x5 
Mul x5 Mul -2 Mul cos Mul acsch sec cos acot x0 asinh pi Mul asinh pi Mul Mul -1 Mul Mul tan cos acot x0 sec cos acot x0 Mul Mul -1 sin acot x0 Mul -1 Pow Add 1 Mul x0 x0 -1 Pow Mul Mul sec cos acot x0 sec cos acot x0 sqrt Add 1 Mul -1 Pow Mul sec cos acot x0 sec cos acot x0 -1 -1 