Mul Pow x4 sec Pow acosh Add E 3 Mul Add pi Mul Add x0 4 x0 x0 Pow Pow Mul x3 x0 x0 x0 
Add Mul Pow Pow Mul x3 x0 x0 x0 Mul Pow x4 Add sec Pow acosh Add E 3 Mul Add pi Mul Add x0 4 x0 x0 -1 Mul Mul x4 log x4 Mul Mul tan Pow acosh Add E 3 Mul Add pi Mul Add x0 4 x0 x0 sec Pow acosh Add E 3 Mul Add pi Mul Add x0 4 x0 x0 Mul Pow acosh Add E 3 Add Mul Add pi Mul Add x0 4 x0 x0 -1 Mul Mul acosh Add E 3 log acosh Add E 3 Add Mul x0 Add x0 Add x0 4 Add pi Mul Add x0 4 x0 Mul Pow x4 sec Pow acosh Add E 3 Mul Add pi Mul Add x0 4 x0 x0 Mul Pow Pow Mul x3 x0 x0 Add x0 -1 Add Mul x0 Mul Pow Mul x3 x0 Add x0 -1 Add Mul x0 x3 Mul Mul x3 x0 log Mul x3 x0 Mul Pow Mul x3 x0 x0 log Pow Mul x3 x0 x0 