Mul asech Add Add x0 Pow acoth x0 Add acsch x0 x0 Add x0 x0 sqrt x0 
Add Mul sqrt x0 Mul Add Add 1 Mul Pow acoth x0 Add Add acsch x0 x0 -1 Add Mul Add acsch x0 x0 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Mul acoth x0 log acoth x0 Add Mul -1 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 1 2 Pow Mul Mul Add Add x0 Pow acoth x0 Add acsch x0 x0 Add x0 x0 Add Add x0 Pow acoth x0 Add acsch x0 x0 Add x0 x0 sqrt Add 1 Mul -1 Pow Mul Add Add x0 Pow acoth x0 Add acsch x0 x0 Add x0 x0 Add Add x0 Pow acoth x0 Add acsch x0 x0 Add x0 x0 -1 -1 Mul asech Add Add x0 Pow acoth x0 Add acsch x0 x0 Add x0 x0 Pow Mul 2 sqrt x0 -1 