Add acot x0 tan Add asinh Mul x0 Add Mul -4 Add asech asinh E x0 x3 Mul x6 x0 
Add Mul -1 Pow Add 1 Mul x0 x0 -1 Mul Pow sec Add asinh Mul x0 Add Mul -4 Add asech asinh E x0 x3 Mul x6 x0 2 Add Mul Add Add Mul -4 Add asech asinh E x0 x3 Mul x0 -4 Pow sqrt Add 1 Mul Mul x0 Add Mul -4 Add asech asinh E x0 x3 Mul x0 Add Mul -4 Add asech asinh E x0 x3 -1 x6 