Add x0 Mul acosh Mul -3 x0 atan Add Mul Add E x0 x3 Pow Pow x4 Pow acot x6 E x2 
Add 1 Add Mul atan Add Mul Add E x0 x3 Pow Pow x4 Pow acot x6 E x2 Mul -3 Pow Mul sqrt Add Mul -3 x0 -1 sqrt Add 1 Mul -3 x0 -1 Mul acosh Mul -3 x0 Mul x3 Pow Add 1 Mul Add Mul Add E x0 x3 Pow Pow x4 Pow acot x6 E x2 Add Mul Add E x0 x3 Pow Pow x4 Pow acot x6 E x2 -1 