Add 3 Add x0 acot Add 5 Pow Mul sqrt acsch Pow 4 x7 asin atan x0 5 
Add 1 Mul -1 Mul Mul Pow Mul sqrt acsch Pow 4 x7 asin atan x0 4 Mul 5 Mul sqrt acsch Pow 4 x7 Mul Pow Add 1 Mul x0 x0 -1 Pow sqrt Add 1 Mul -1 Mul atan x0 atan x0 -1 Pow Add 1 Mul Add 5 Pow Mul sqrt acsch Pow 4 x7 asin atan x0 5 Add 5 Pow Mul sqrt acsch Pow 4 x7 asin atan x0 5 -1 