Mul Mul Pow x6 asec acoth x0 Mul x0 Add Mul x0 E 0.135335283236613 x0 
Add Mul x0 Add Mul Mul x0 Add Mul x0 E 0.135335283236613 Mul Pow x6 Add asec acoth x0 -1 Mul Mul x6 log x6 Mul Pow Add 1 Mul -1 Mul x0 x0 -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul acoth x0 acoth x0 -1 acoth x0 acoth x0 -1 Mul Pow x6 asec acoth x0 Add Add Mul x0 E 0.135335283236613 Mul x0 E Mul Pow x6 asec acoth x0 Mul x0 Add Mul x0 E 0.135335283236613 