asinh acsch Mul x0 acot x5 
Mul Mul Mul -1 acot x5 Pow Mul Mul Mul x0 acot x5 Mul x0 acot x5 sqrt Add 1 Mul -1 Pow Mul Mul x0 acot x5 Mul x0 acot x5 -1 -1 Pow sqrt Add 1 Mul acsch Mul x0 acot x5 acsch Mul x0 acot x5 -1 