tan asinh Mul x0 Add atan Add E cosh x0 x0 
Mul Pow sec asinh Mul x0 Add atan Add E cosh x0 x0 2 Mul Add Add atan Add E cosh x0 x0 Mul x0 Add Mul sinh x0 Pow Add 1 Mul Add E cosh x0 Add E cosh x0 -1 1 Pow sqrt Add 1 Mul Mul x0 Add atan Add E cosh x0 x0 Mul x0 Add atan Add E cosh x0 x0 -1 