Pow acsch sqrt Mul x0 Add x1 Mul acsch x2 x0 Mul x0 exp x0 
Mul Pow acsch sqrt Mul x0 Add x1 Mul acsch x2 x0 Add Mul x0 exp x0 -1 Add Mul Mul x0 exp x0 Mul Mul -1 Mul Pow Mul 2 sqrt Mul x0 Add x1 Mul acsch x2 x0 -1 Add Add x1 Mul acsch x2 x0 Mul x0 acsch x2 Pow Mul Mul sqrt Mul x0 Add x1 Mul acsch x2 x0 sqrt Mul x0 Add x1 Mul acsch x2 x0 sqrt Add 1 Mul -1 Pow Mul sqrt Mul x0 Add x1 Mul acsch x2 x0 sqrt Mul x0 Add x1 Mul acsch x2 x0 -1 -1 Mul Mul acsch sqrt Mul x0 Add x1 Mul acsch x2 x0 log acsch sqrt Mul x0 Add x1 Mul acsch x2 x0 Add exp x0 Mul x0 exp x0 