acot Mul Add Add acosh E 3 Mul asin Mul x4 Add 3 x0 x0 2 
Mul -1 Mul Mul 2 Add Mul x0 Mul x4 Pow sqrt Add 1 Mul -1 Mul Mul x4 Add 3 x0 Mul x4 Add 3 x0 -1 asin Mul x4 Add 3 x0 Pow Add 1 Mul Mul Add Add acosh E 3 Mul asin Mul x4 Add 3 x0 x0 2 Mul Add Add acosh E 3 Mul asin Mul x4 Add 3 x0 x0 2 -1 