asech Mul acoth sqrt x2 Add pi Mul Add x7 Add x0 x0 x4 
Mul Mul acoth sqrt x2 Mul x4 2 Pow Mul Mul Mul acoth sqrt x2 Add pi Mul Add x7 Add x0 x0 x4 Mul acoth sqrt x2 Add pi Mul Add x7 Add x0 x0 x4 sqrt Add 1 Mul -1 Pow Mul Mul acoth sqrt x2 Add pi Mul Add x7 Add x0 x0 x4 Mul acoth sqrt x2 Add pi Mul Add x7 Add x0 x0 x4 -1 -1 