Mul Mul x6 x4 tan Mul -2 Pow Mul tan acoth Add x0 x0 x4 Mul x0 Add x0 pi 
Mul Mul x6 x4 Mul Pow sec Mul -2 Pow Mul tan acoth Add x0 x0 x4 Mul x0 Add x0 pi 2 Mul -2 Mul Pow Mul tan acoth Add x0 x0 x4 Add Mul x0 Add x0 pi -1 Add Mul Mul x0 Add x0 pi Mul x4 Mul Pow sec acoth Add x0 x0 2 Mul 2 Pow Add 1 Mul -1 Mul Add x0 x0 Add x0 x0 -1 Mul Mul Mul tan acoth Add x0 x0 x4 log Mul tan acoth Add x0 x0 x4 Add Add x0 pi x0 