Pow Mul x4 sqrt Pow 8 Mul x0 acos acot acosh log Mul exp x3 Mul x0 x0 -5 
Mul Pow Mul x4 sqrt Pow 8 Mul x0 acos acot acosh log Mul exp x3 Mul x0 x0 6 Mul -5 Mul x4 Mul Pow Mul 2 sqrt Pow 8 Mul x0 acos acot acosh log Mul exp x3 Mul x0 x0 -1 Mul Pow 8 Add Mul x0 acos acot acosh log Mul exp x3 Mul x0 x0 -1 Mul 10.0794415416798 Add acos acot acosh log Mul exp x3 Mul x0 x0 Mul x0 Mul -1 Mul Mul -1 Mul Mul Mul Mul exp x3 Add x0 x0 Pow Mul exp x3 Mul x0 x0 -1 Pow Mul sqrt Add log Mul exp x3 Mul x0 x0 -1 sqrt Add 1 log Mul exp x3 Mul x0 x0 -1 Pow Add 1 Mul acosh log Mul exp x3 Mul x0 x0 acosh log Mul exp x3 Mul x0 x0 -1 Pow sqrt Add 1 Mul -1 Mul acot acosh log Mul exp x3 Mul x0 x0 acot acosh log Mul exp x3 Mul x0 x0 -1 