Add Mul x0 -2 Pow sec x0 atanh Add 3.75095422760175 sqrt Add x2 x5 
Add -2 Mul Pow sec x0 Add atanh Add 3.75095422760175 sqrt Add x2 x5 -1 Mul atanh Add 3.75095422760175 sqrt Add x2 x5 Mul tan x0 sec x0 