Pow Mul Add exp acosh x0 acot cot x0 x0 Add Add E Pow Mul -1 Mul Add x3 x0 Add -1 E Add x6 1 x0 
Mul Pow Mul Add exp acosh x0 acot cot x0 x0 Add Add Add E Pow Mul -1 Mul Add x3 x0 Add -1 E Add x6 1 x0 -1 Add Mul Add Add E Pow Mul -1 Mul Add x3 x0 Add -1 E Add x6 1 x0 Add Mul x0 Add Mul exp acosh x0 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Mul -1 Mul Mul -1 Pow csc x0 2 Pow Add 1 Mul cot x0 cot x0 -1 Add exp acosh x0 acot cot x0 Mul Mul Mul Add exp acosh x0 acot cot x0 x0 log Mul Add exp acosh x0 acot cot x0 x0 Add Mul Pow Mul -1 Mul Add x3 x0 Add -1 E Add Add x6 1 -1 Mul Add x6 1 Mul -1 Add -1 E 1 