Add Pow acsc x4 x0 Mul Pow x0 x2 acosh Add x0 3 
Add Mul Pow acsc x4 Add x0 -1 Mul acsc x4 log acsc x4 Add Mul acosh Add x0 3 Mul Pow x0 Add x2 -1 x2 Mul Pow x0 x2 Pow Mul sqrt Add Add x0 3 -1 sqrt Add 1 Add x0 3 -1 