tan Add 5 asin sqrt Pow x0 acsch cos asinh x3 
Mul Pow sec Add 5 asin sqrt Pow x0 acsch cos asinh x3 2 Mul Mul Pow Mul 2 sqrt Pow x0 acsch cos asinh x3 -1 Mul Pow x0 Add acsch cos asinh x3 -1 acsch cos asinh x3 Pow sqrt Add 1 Mul -1 Mul sqrt Pow x0 acsch cos asinh x3 sqrt Pow x0 acsch cos asinh x3 -1 