Pow Mul x0 Add Add Mul x0 E acosh x4 0.367879441171442 x0 
Mul Pow Mul x0 Add Add Mul x0 E acosh x4 0.367879441171442 Add x0 -1 Add Mul x0 Add Add Add Mul x0 E acosh x4 0.367879441171442 Mul x0 E Mul Mul x0 Add Add Mul x0 E acosh x4 0.367879441171442 log Mul x0 Add Add Mul x0 E acosh x4 0.367879441171442 