Pow atan Pow Pow x2 Pow tan Add x0 Add pi E x3 0.460900178447189 acosh x3 
Mul Pow atan Pow Pow x2 Pow tan Add x0 Add pi E x3 0.460900178447189 Add acosh x3 -1 Mul acosh x3 Mul Mul Pow Pow x2 Pow tan Add x0 Add pi E x3 -0.539099821552811 Mul 0.460900178447189 Mul Pow x2 Add Pow tan Add x0 Add pi E x3 -1 Mul Mul x2 log x2 Mul Pow tan Add x0 Add pi E Add x3 -1 Mul x3 Pow sec Add x0 Add pi E 2 Pow Add 1 Mul Pow Pow x2 Pow tan Add x0 Add pi E x3 0.460900178447189 Pow Pow x2 Pow tan Add x0 Add pi E x3 0.460900178447189 -1 