acosh Mul Mul x0 4 Add sqrt x7 Mul cbrt x5 cot sqrt pi 
Mul Mul Add sqrt x7 Mul cbrt x5 cot sqrt pi 4 Pow Mul sqrt Add Mul Mul x0 4 Add sqrt x7 Mul cbrt x5 cot sqrt pi -1 sqrt Add 1 Mul Mul x0 4 Add sqrt x7 Mul cbrt x5 cot sqrt pi -1 