Mul acosh exp Pow acsc x0 x0 Add x1 Mul x0 asinh x3 
Add Mul Add x1 Mul x0 asinh x3 Mul Mul exp Pow acsc x0 x0 Mul Pow acsc x0 Add x0 -1 Add Mul x0 Mul -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 x0 x0 -1 Mul acsc x0 log acsc x0 Pow Mul sqrt Add exp Pow acsc x0 x0 -1 sqrt Add 1 exp Pow acsc x0 x0 -1 Mul acosh exp Pow acsc x0 x0 asinh x3 