exp Mul asinh x0 atan Add tan asech asinh x4 x0 
Mul exp Mul asinh x0 atan Add tan asech asinh x4 x0 Add Mul atan Add tan asech asinh x4 x0 Pow sqrt Add 1 Mul x0 x0 -1 Mul asinh x0 Pow Add 1 Mul Add tan asech asinh x4 x0 Add tan asech asinh x4 x0 -1 