atanh Add E sqrt Pow Add acos Mul x0 E Add x0 x0 Add x0 6 
Mul Mul Pow Mul 2 sqrt Pow Add acos Mul x0 E Add x0 x0 Add x0 6 -1 Mul Pow Add acos Mul x0 E Add x0 x0 Add Add x0 6 -1 Add Mul Add x0 6 Add Mul -1 Mul E Pow sqrt Add 1 Mul -1 Mul Mul x0 E Mul x0 E -1 2 Mul Add acos Mul x0 E Add x0 x0 log Add acos Mul x0 E Add x0 x0 Pow Add 1 Mul -1 Mul Add E sqrt Pow Add acos Mul x0 E Add x0 x0 Add x0 6 Add E sqrt Pow Add acos Mul x0 E Add x0 x0 Add x0 6 -1 