Pow Pow x1 x1 acoth Add acsch asin cot Add 3 sech pi x0 
Mul Pow Pow x1 x1 Add acoth Add acsch asin cot Add 3 sech pi x0 -1 Mul Mul Pow x1 x1 log Pow x1 x1 Pow Add 1 Mul -1 Mul Add acsch asin cot Add 3 sech pi x0 Add acsch asin cot Add 3 sech pi x0 -1 