Add x0 Pow x2 Mul Mul Pow Mul Add x0 x0 x0 -3 x0 acoth Mul 1.58427324058415 sec x6 
Add 1 Mul Pow x2 Add Mul Mul Pow Mul Add x0 x0 x0 -3 x0 acoth Mul 1.58427324058415 sec x6 -1 Mul Mul x2 log x2 Mul acoth Mul 1.58427324058415 sec x6 Add Mul x0 Mul Pow Mul Add x0 x0 x0 4 Mul -3 Add Mul x0 2 Add x0 x0 Pow Mul Add x0 x0 x0 -3 