Add Pow Mul Pow acosh x0 sec Mul -2.40299796172238 Mul x0 pi x0 x4 x0 
Add Mul Pow Mul Pow acosh x0 sec Mul -2.40299796172238 Mul x0 pi x0 Add x4 -1 Mul x4 Add Mul x0 Mul Pow acosh x0 Add sec Mul -2.40299796172238 Mul x0 pi -1 Add Mul sec Mul -2.40299796172238 Mul x0 pi Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Mul Mul acosh x0 log acosh x0 Mul Mul tan Mul -2.40299796172238 Mul x0 pi sec Mul -2.40299796172238 Mul x0 pi Mul -2.40299796172238 pi Pow acosh x0 sec Mul -2.40299796172238 Mul x0 pi 1 