acosh Pow Add -4 Add Mul x0 csc Add x7 Add E x0 exp acosh x6 x0 
Mul Mul Pow Add -4 Add Mul x0 csc Add x7 Add E x0 exp acosh x6 Add x0 -1 Add Mul x0 Add csc Add x7 Add E x0 Mul x0 Mul Mul -1 cot Add x7 Add E x0 csc Add x7 Add E x0 Mul Add -4 Add Mul x0 csc Add x7 Add E x0 exp acosh x6 log Add -4 Add Mul x0 csc Add x7 Add E x0 exp acosh x6 Pow Mul sqrt Add Pow Add -4 Add Mul x0 csc Add x7 Add E x0 exp acosh x6 x0 -1 sqrt Add 1 Pow Add -4 Add Mul x0 csc Add x7 Add E x0 exp acosh x6 x0 -1 