Pow asinh x0 Add Add Mul Mul x0 pi acosh x1 asinh x0 x0 
Mul Pow asinh x0 Add Add Add Mul Mul x0 pi acosh x1 asinh x0 x0 -1 Add Mul Add Add Mul Mul x0 pi acosh x1 asinh x0 x0 Pow sqrt Add 1 Mul x0 x0 -1 Mul Mul asinh x0 log asinh x0 Add Add Mul acosh x1 pi Pow sqrt Add 1 Mul x0 x0 -1 1 