Mul Pow pi Pow Add Pow x0 Add 4 acosh Mul x2 x1 x0 x3 Mul Pow asech atanh Add x0 x0 0.761594155955765 x1 
Add Mul Mul Pow asech atanh Add x0 x0 0.761594155955765 x1 Mul Pow pi Add Pow Add Pow x0 Add 4 acosh Mul x2 x1 x0 x3 -1 Mul Mul pi log pi Mul Pow Add Pow x0 Add 4 acosh Mul x2 x1 x0 Add x3 -1 Mul x3 Add Mul Pow x0 Add Add 4 acosh Mul x2 x1 -1 Add 4 acosh Mul x2 x1 1 Mul Pow pi Pow Add Pow x0 Add 4 acosh Mul x2 x1 x0 x3 Mul x1 Mul Pow asech atanh Add x0 x0 -0.238405844044235 Mul 0.761594155955765 Mul Mul 2 Pow Add 1 Mul -1 Mul Add x0 x0 Add x0 x0 -1 Pow Mul Mul atanh Add x0 x0 atanh Add x0 x0 sqrt Add 1 Mul -1 Pow Mul atanh Add x0 x0 atanh Add x0 x0 -1 -1 