Mul Add Pow Add Pow acosh atan pi x0 3 x0 x4 Mul Mul x2 cot acsc E x0 
Add Mul Mul Mul x2 cot acsc E x0 Mul Pow Add Pow acosh atan pi x0 3 Add x0 -1 Add Mul x0 Mul Pow acosh atan pi Add x0 -1 Mul acosh atan pi log acosh atan pi Mul Add Pow acosh atan pi x0 3 log Add Pow acosh atan pi x0 3 Mul Add Pow Add Pow acosh atan pi x0 3 x0 x4 Mul x2 cot acsc E 