Mul sqrt Pow 3 sec x0 Mul acosh E Add x0 -23.5708483071602 
Add Mul Mul acosh E Add x0 -23.5708483071602 Mul Pow Mul 2 sqrt Pow 3 sec x0 -1 Mul Pow 3 Add sec x0 -1 Mul 4.09861228866811 Mul tan x0 sec x0 Mul sqrt Pow 3 sec x0 acosh E 