Add Mul Mul acoth Mul Pow acosh acoth x0 x0 x0 Add 0.0625000000000000 cos x5 x6 Pow x0 pi 
Add Mul x6 Mul Add 0.0625000000000000 cos x5 Mul Add Mul x0 Mul Pow acosh acoth x0 Add x0 -1 Add Mul x0 Mul Pow Add 1 Mul -1 Mul x0 x0 -1 Pow Mul sqrt Add acoth x0 -1 sqrt Add 1 acoth x0 -1 Mul acosh acoth x0 log acosh acoth x0 Pow acosh acoth x0 x0 Pow Add 1 Mul -1 Mul Mul Pow acosh acoth x0 x0 x0 Mul Pow acosh acoth x0 x0 x0 -1 Mul Pow x0 Add pi -1 pi 