Add Pow Pow acosh acoth Add pi Add x0 x0 Pow Pow pi x7 Pow x6 x0 cot x3 -1 
Mul Pow Pow acosh acoth Add pi Add x0 x0 Pow Pow pi x7 Pow x6 x0 Add cot x3 -1 Mul cot x3 Mul Pow acosh acoth Add pi Add x0 x0 Add Pow Pow pi x7 Pow x6 x0 -1 Add Mul Pow Pow pi x7 Pow x6 x0 Mul Mul 2 Pow Add 1 Mul -1 Mul Add pi Add x0 x0 Add pi Add x0 x0 -1 Pow Mul sqrt Add acoth Add pi Add x0 x0 -1 sqrt Add 1 acoth Add pi Add x0 x0 -1 Mul Mul acosh acoth Add pi Add x0 x0 log acosh acoth Add pi Add x0 x0 Mul Pow Pow pi x7 Add Pow x6 x0 -1 Mul Mul Pow pi x7 log Pow pi x7 Mul Pow x6 Add x0 -1 Mul x6 log x6 