Mul Mul Mul Mul E x0 acosh exp sinh x0 Mul x5 Add pi Pow sec x6 Mul x0 Add 3 x0 2 
Mul 2 Add Mul Mul x5 Add pi Pow sec x6 Mul x0 Add 3 x0 Add Mul acosh exp sinh x0 E Mul Mul E x0 Mul Mul exp sinh x0 cosh x0 Pow Mul sqrt Add exp sinh x0 -1 sqrt Add 1 exp sinh x0 -1 Mul Mul Mul E x0 acosh exp sinh x0 Mul x5 Mul Pow sec x6 Add Mul x0 Add 3 x0 -1 Mul Mul sec x6 log sec x6 Add Add 3 x0 x0 