acosh Mul x0 Mul x0 Mul asech Add x0 x2 Pow asinh x7 pi 
Mul Add Mul x0 Mul asech Add x0 x2 Pow asinh x7 pi Mul x0 Add Mul asech Add x0 x2 Pow asinh x7 pi Mul x0 Mul Pow asinh x7 pi Pow Mul Mul Add x0 x2 Add x0 x2 sqrt Add 1 Mul -1 Pow Mul Add x0 x2 Add x0 x2 -1 -1 Pow Mul sqrt Add Mul x0 Mul x0 Mul asech Add x0 x2 Pow asinh x7 pi -1 sqrt Add 1 Mul x0 Mul x0 Mul asech Add x0 x2 Pow asinh x7 pi -1 