asech acosh acot Add Mul x0 -4 Add 5 x5 
Mul Mul Mul -1 Mul -4 Pow Add 1 Mul Add Mul x0 -4 Add 5 x5 Add Mul x0 -4 Add 5 x5 -1 Pow Mul sqrt Add acot Add Mul x0 -4 Add 5 x5 -1 sqrt Add 1 acot Add Mul x0 -4 Add 5 x5 -1 Pow Mul Mul acosh acot Add Mul x0 -4 Add 5 x5 acosh acot Add Mul x0 -4 Add 5 x5 sqrt Add 1 Mul -1 Pow Mul acosh acot Add Mul x0 -4 Add 5 x5 acosh acot Add Mul x0 -4 Add 5 x5 -1 -1 