acosh Mul Pow Add x0 Mul x4 2 Mul pi asec x4 x0 
Mul Add Mul x0 Mul Pow Add x0 Mul x4 2 Add Mul pi asec x4 -1 Mul pi asec x4 Pow Add x0 Mul x4 2 Mul pi asec x4 Pow Mul sqrt Add Mul Pow Add x0 Mul x4 2 Mul pi asec x4 x0 -1 sqrt Add 1 Mul Pow Add x0 Mul x4 2 Mul pi asec x4 x0 -1 