Add Add 1 x0 csch tan Mul cos asech Pow exp x0 exp sqrt Mul x7 x0 coth x4 
Add 1 Mul Mul Mul -1 coth tan Mul cos asech Pow exp x0 exp sqrt Mul x7 x0 coth x4 csch tan Mul cos asech Pow exp x0 exp sqrt Mul x7 x0 coth x4 Mul Pow sec Mul cos asech Pow exp x0 exp sqrt Mul x7 x0 coth x4 2 Mul coth x4 Mul Mul -1 sin asech Pow exp x0 exp sqrt Mul x7 x0 Mul Mul Pow exp x0 Add exp sqrt Mul x7 x0 -1 Add Mul exp sqrt Mul x7 x0 exp x0 Mul Mul exp x0 log exp x0 Mul exp sqrt Mul x7 x0 Mul Pow Mul 2 sqrt Mul x7 x0 -1 x7 Pow Mul Mul Pow exp x0 exp sqrt Mul x7 x0 Pow exp x0 exp sqrt Mul x7 x0 sqrt Add 1 Mul -1 Pow Mul Pow exp x0 exp sqrt Mul x7 x0 Pow exp x0 exp sqrt Mul x7 x0 -1 -1 