Pow atanh x0 Mul Pow Pow x0 x4 x0 Add Pow Mul sec x0 x5 Mul x3 pi 64 
Mul Pow atanh x0 Add Mul Pow Pow x0 x4 x0 Add Pow Mul sec x0 x5 Mul x3 pi 64 -1 Add Mul Mul Pow Pow x0 x4 x0 Add Pow Mul sec x0 x5 Mul x3 pi 64 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Mul atanh x0 log atanh x0 Add Mul Add Pow Mul sec x0 x5 Mul x3 pi 64 Mul Pow Pow x0 x4 Add x0 -1 Add Mul x0 Mul Pow x0 Add x4 -1 x4 Mul Pow x0 x4 log Pow x0 x4 Mul Pow Pow x0 x4 x0 Mul Pow Mul sec x0 x5 Add Mul x3 pi -1 Mul Mul x3 pi Mul x5 Mul tan x0 sec x0 