acosh asech Mul Pow x0 Mul Mul x7 cot acosh Add E exp sinh Pow x3 5 x4 x3 
Mul Mul Mul x3 Mul Pow x0 Add Mul Mul x7 cot acosh Add E exp sinh Pow x3 5 x4 -1 Mul Mul x7 cot acosh Add E exp sinh Pow x3 5 x4 Pow Mul Mul Mul Pow x0 Mul Mul x7 cot acosh Add E exp sinh Pow x3 5 x4 x3 Mul Pow x0 Mul Mul x7 cot acosh Add E exp sinh Pow x3 5 x4 x3 sqrt Add 1 Mul -1 Pow Mul Mul Pow x0 Mul Mul x7 cot acosh Add E exp sinh Pow x3 5 x4 x3 Mul Pow x0 Mul Mul x7 cot acosh Add E exp sinh Pow x3 5 x4 x3 -1 -1 Pow Mul sqrt Add asech Mul Pow x0 Mul Mul x7 cot acosh Add E exp sinh Pow x3 5 x4 x3 -1 sqrt Add 1 asech Mul Pow x0 Mul Mul x7 cot acosh Add E exp sinh Pow x3 5 x4 x3 -1 