Add Mul sqrt x0 Add Pow exp Pow Pow acsch exp x0 x0 x0 Pow x0 x0 x0 pi 
Add Mul Add Pow exp Pow Pow acsch exp x0 x0 x0 Pow x0 x0 x0 Pow Mul 2 sqrt x0 -1 Mul sqrt x0 Add Mul Pow exp Pow Pow acsch exp x0 x0 x0 Add Pow x0 x0 -1 Add Mul Pow x0 x0 Mul exp Pow Pow acsch exp x0 x0 x0 Mul Pow Pow acsch exp x0 x0 Add x0 -1 Add Mul x0 Mul Pow acsch exp x0 Add x0 -1 Add Mul x0 Mul Mul -1 exp x0 Pow Mul Mul exp x0 exp x0 sqrt Add 1 Mul -1 Pow Mul exp x0 exp x0 -1 -1 Mul acsch exp x0 log acsch exp x0 Mul Pow acsch exp x0 x0 log Pow acsch exp x0 x0 Mul Mul exp Pow Pow acsch exp x0 x0 x0 log exp Pow Pow acsch exp x0 x0 x0 Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 1 