Pow atan x0 Mul Mul Pow Add -1 acsch x3 x0 Add E Pow x0 -1 0.504021417921660 
Mul Pow atan x0 Add Mul Mul Pow Add -1 acsch x3 x0 Add E Pow x0 -1 0.504021417921660 -1 Add Mul Mul Mul Pow Add -1 acsch x3 x0 Add E Pow x0 -1 0.504021417921660 Pow Add 1 Mul x0 x0 -1 Mul Mul atan x0 log atan x0 Mul 0.504021417921660 Add Mul Add E Pow x0 -1 Mul Pow Add -1 acsch x3 Add x0 -1 Mul Add -1 acsch x3 log Add -1 acsch x3 Mul Pow Add -1 acsch x3 x0 Mul Pow x0 2 -1 