Mul x3 Pow acsch x7 Mul x0 tan Add asin x0 x0 
Mul x3 Mul Pow acsch x7 Add Mul x0 tan Add asin x0 x0 -1 Mul Mul acsch x7 log acsch x7 Add tan Add asin x0 x0 Mul x0 Mul Pow sec Add asin x0 x0 2 Add Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 1 