Mul x5 Mul 9.38051500624659 Add Mul -0.785398163397448 x0 tan Pow x1 Add Pow Pow atanh x4 2 x0 Add x0 -4 
Mul x5 Mul 9.38051500624659 Add -0.785398163397448 Mul Pow sec Pow x1 Add Pow Pow atanh x4 2 x0 Add x0 -4 2 Mul Pow x1 Add Add Pow Pow atanh x4 2 x0 Add x0 -4 -1 Mul Mul x1 log x1 Add Mul Pow Pow atanh x4 2 Add x0 -1 Mul Pow atanh x4 2 log Pow atanh x4 2 1 