asinh Add Mul Mul x0 -5 Mul x0 acosh acot sqrt E x6 
Mul Add Mul Mul x0 acosh acot sqrt E -5 Mul Mul x0 -5 acosh acot sqrt E Pow sqrt Add 1 Mul Add Mul Mul x0 -5 Mul x0 acosh acot sqrt E x6 Add Mul Mul x0 -5 Mul x0 acosh acot sqrt E x6 -1 