Add Add Add -0.841470984807897 x2 Add Pow Mul x4 pi x0 sec x2 Mul x0 tan acosh x0 
Add Mul Pow Mul x4 pi Add x0 -1 Mul Mul x4 pi log Mul x4 pi Add tan acosh x0 Mul x0 Mul Pow sec acosh x0 2 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 