Pow acosh x0 Add exp x0 sinh Pow Mul x0 2 Mul tan x1 acosh acosh sech x0 
Mul Pow acosh x0 Add Add exp x0 sinh Pow Mul x0 2 Mul tan x1 acosh acosh sech x0 -1 Add Mul Add exp x0 sinh Pow Mul x0 2 Mul tan x1 acosh acosh sech x0 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Mul Mul acosh x0 log acosh x0 Add exp x0 Mul cosh Pow Mul x0 2 Mul tan x1 acosh acosh sech x0 Mul Pow Mul x0 2 Add Mul tan x1 acosh acosh sech x0 -1 Add Mul Mul tan x1 acosh acosh sech x0 2 Mul Mul Mul x0 2 log Mul x0 2 Mul tan x1 Mul Mul Mul tanh x0 Mul -1 sech x0 Pow Mul sqrt Add sech x0 -1 sqrt Add 1 sech x0 -1 Pow Mul sqrt Add acosh sech x0 -1 sqrt Add 1 acosh sech x0 -1 