Add exp acoth x0 sec Pow acos x0 tan asin Mul 2 cot acosh x7 
Add Mul exp acoth x0 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Mul tan Pow acos x0 tan asin Mul 2 cot acosh x7 sec Pow acos x0 tan asin Mul 2 cot acosh x7 Mul Pow acos x0 Add tan asin Mul 2 cot acosh x7 -1 Mul tan asin Mul 2 cot acosh x7 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 