Mul log Add x5 sec Add coth asin exp sqrt atanh x0 x0 Add x6 4 
Mul Add x6 4 Mul Mul Mul tan Add coth asin exp sqrt atanh x0 x0 sec Add coth asin exp sqrt atanh x0 x0 Add Mul Mul -1 Pow csch asin exp sqrt atanh x0 2 Mul Mul exp sqrt atanh x0 Mul Pow Mul 2 sqrt atanh x0 -1 Pow Add 1 Mul -1 Mul x0 x0 -1 Pow sqrt Add 1 Mul -1 Mul exp sqrt atanh x0 exp sqrt atanh x0 -1 1 Pow Add x5 sec Add coth asin exp sqrt atanh x0 x0 -1 