Add asech Add x0 Mul Pow x0 Mul x0 pi x3 Pow acoth x2 x0 
Add Mul Add 1 Mul x3 Mul Pow x0 Add Mul x0 pi -1 Add Mul x0 pi Mul Mul x0 log x0 pi Pow Mul Mul Add x0 Mul Pow x0 Mul x0 pi x3 Add x0 Mul Pow x0 Mul x0 pi x3 sqrt Add 1 Mul -1 Pow Mul Add x0 Mul Pow x0 Mul x0 pi x3 Add x0 Mul Pow x0 Mul x0 pi x3 -1 -1 Mul Pow acoth x2 Add x0 -1 Mul acoth x2 log acoth x2 