Add Mul x0 tan x3 Add x0 sech Mul acosh Mul x0 Mul -2 x1 Add Pow Pow pi 4 x0 sin sqrt x0 
Add tan x3 Add 1 Mul Mul tanh Mul acosh Mul x0 Mul -2 x1 Add Pow Pow pi 4 x0 sin sqrt x0 Mul -1 sech Mul acosh Mul x0 Mul -2 x1 Add Pow Pow pi 4 x0 sin sqrt x0 Add Mul Add Pow Pow pi 4 x0 sin sqrt x0 Mul Mul -2 x1 Pow Mul sqrt Add Mul x0 Mul -2 x1 -1 sqrt Add 1 Mul x0 Mul -2 x1 -1 Mul acosh Mul x0 Mul -2 x1 Add Mul Pow Pow pi 4 Add x0 -1 Mul Pow pi 4 log Pow pi 4 Mul cos sqrt x0 Pow Mul 2 sqrt x0 -1 