Add Add tan Pow x6 asin sqrt x0 coth Add x0 -1 cos x3 
Add Mul Pow sec Pow x6 asin sqrt x0 2 Mul Pow x6 Add asin sqrt x0 -1 Mul Mul x6 log x6 Mul Pow Mul 2 sqrt x0 -1 Pow sqrt Add 1 Mul -1 Mul sqrt x0 sqrt x0 -1 Mul -1 Pow csch Add x0 -1 2 