Mul cbrt Pow acosh tan x0 atanh Mul x0 x4 x0 
Add Mul x0 Mul Pow Mul Mul 3 cbrt Pow acosh tan x0 atanh Mul x0 x4 cbrt Pow acosh tan x0 atanh Mul x0 x4 -1 Mul Pow acosh tan x0 Add atanh Mul x0 x4 -1 Add Mul atanh Mul x0 x4 Mul Pow sec x0 2 Pow Mul sqrt Add tan x0 -1 sqrt Add 1 tan x0 -1 Mul Mul acosh tan x0 log acosh tan x0 Mul x4 Pow Add 1 Mul -1 Mul Mul x0 x4 Mul x0 x4 -1 cbrt Pow acosh tan x0 atanh Mul x0 x4 