Mul Mul x0 2 asinh sqrt Pow Pow acosh x3 x4 Add Mul exp x0 x0 cot E 
Add Mul asinh sqrt Pow Pow acosh x3 x4 Add Mul exp x0 x0 cot E 2 Mul Mul x0 2 Mul Mul Pow Mul 2 sqrt Pow Pow acosh x3 x4 Add Mul exp x0 x0 cot E -1 Mul Pow Pow acosh x3 x4 Add Add Mul exp x0 x0 cot E -1 Mul Mul Pow acosh x3 x4 log Pow acosh x3 x4 Add Mul x0 exp x0 exp x0 Pow sqrt Add 1 Mul sqrt Pow Pow acosh x3 x4 Add Mul exp x0 x0 cot E sqrt Pow Pow acosh x3 x4 Add Mul exp x0 x0 cot E -1 