Mul 0.881373587019543 Pow log pi Mul Add E x0 asin sec acoth asinh x1 
Mul 0.881373587019543 Mul Pow log pi Add Mul Add E x0 asin sec acoth asinh x1 -1 Mul Mul log pi log log pi asin sec acoth asinh x1 