Add Mul Pow Mul x0 Mul acosh x0 x7 Pow 5 Add E 4 Mul x0 Pow Add x6 2 pi acoth x0 
Add Add Mul Mul x0 Pow Add x6 2 pi Mul Pow Mul x0 Mul acosh x0 x7 Add Pow 5 Add E 4 -1 Mul Pow 5 Add E 4 Add Mul acosh x0 x7 Mul x0 Mul x7 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Mul Pow Mul x0 Mul acosh x0 x7 Pow 5 Add E 4 Pow Add x6 2 pi Pow Add 1 Mul -1 Mul x0 x0 -1 