Add csch Add Add Pow asech x0 x1 x0 Pow x0 Add x0 pi x0 
Add Mul Mul Mul -1 coth Add Add Pow asech x0 x1 x0 Pow x0 Add x0 pi csch Add Add Pow asech x0 x1 x0 Pow x0 Add x0 pi Add Add Mul Pow asech x0 Add x1 -1 Mul x1 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 1 Mul Pow x0 Add Add x0 pi -1 Add Add x0 pi Mul x0 log x0 1 