atan Mul x4 Mul tan sinh x0 Add Add asech x0 x1 asinh asinh x0 
Mul Mul x4 Add Mul Add Add asech x0 x1 asinh asinh x0 Mul Pow sec sinh x0 2 cosh x0 Mul tan sinh x0 Add Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Mul Pow sqrt Add 1 Mul x0 x0 -1 Pow sqrt Add 1 Mul asinh x0 asinh x0 -1 Pow Add 1 Mul Mul x4 Mul tan sinh x0 Add Add asech x0 x1 asinh asinh x0 Mul x4 Mul tan sinh x0 Add Add asech x0 x1 asinh asinh x0 -1 