Mul Pow tan acsch coth asinh pi Add x0 exp x0 Mul x0 x4 
Add Mul Mul x0 x4 Mul Pow tan acsch coth asinh pi Add Add x0 exp x0 -1 Mul Mul tan acsch coth asinh pi log tan acsch coth asinh pi Add 1 exp x0 Mul Pow tan acsch coth asinh pi Add x0 exp x0 x4 