Add Pow x5 Mul 4 x2 Mul x0 Mul asech Mul cbrt acoth Pow x0 log pi asech Add exp x0 E x2 
Add Mul asech Mul cbrt acoth Pow x0 log pi asech Add exp x0 E x2 Mul x0 Mul x2 Mul Add Mul asech Add exp x0 E Mul Pow Mul Mul 3 cbrt acoth Pow x0 log pi cbrt acoth Pow x0 log pi -1 Mul Mul Pow x0 Add log pi -1 log pi Pow Add 1 Mul -1 Mul Pow x0 log pi Pow x0 log pi -1 Mul cbrt acoth Pow x0 log pi Mul exp x0 Pow Mul Mul Add exp x0 E Add exp x0 E sqrt Add 1 Mul -1 Pow Mul Add exp x0 E Add exp x0 E -1 -1 Pow Mul Mul Mul cbrt acoth Pow x0 log pi asech Add exp x0 E Mul cbrt acoth Pow x0 log pi asech Add exp x0 E sqrt Add 1 Mul -1 Pow Mul Mul cbrt acoth Pow x0 log pi asech Add exp x0 E Mul cbrt acoth Pow x0 log pi asech Add exp x0 E -1 -1 