Add x3 Pow Mul x0 Pow Mul x0 pi tanh acos Mul sec x0 x0 Mul 3 x1 
Mul Pow Mul x0 Pow Mul x0 pi tanh acos Mul sec x0 x0 Add Mul 3 x1 -1 Mul Mul 3 x1 Add Pow Mul x0 pi tanh acos Mul sec x0 x0 Mul x0 Mul Pow Mul x0 pi Add tanh acos Mul sec x0 x0 -1 Add Mul tanh acos Mul sec x0 x0 pi Mul Mul Mul x0 pi log Mul x0 pi Mul Pow sech acos Mul sec x0 x0 2 Mul -1 Mul Add Mul x0 Mul tan x0 sec x0 sec x0 Pow sqrt Add 1 Mul -1 Mul Mul sec x0 x0 Mul sec x0 x0 -1 