Mul Pow acsc atan E x0 acosh Mul x3 Mul Mul x0 -1 4 
Add Mul acosh Mul x3 Mul Mul x0 -1 4 Mul Pow acsc atan E Add x0 -1 Mul acsc atan E log acsc atan E Mul Pow acsc atan E x0 Mul Mul x3 3 Pow Mul sqrt Add Mul x3 Mul Mul x0 -1 4 -1 sqrt Add 1 Mul x3 Mul Mul x0 -1 4 -1 