acosh Mul x0 atanh Add tan x0 1 
Mul Add atanh Add tan x0 1 Mul x0 Mul Pow sec x0 2 Pow Add 1 Mul -1 Mul Add tan x0 1 Add tan x0 1 -1 Pow Mul sqrt Add Mul x0 atanh Add tan x0 1 -1 sqrt Add 1 Mul x0 atanh Add tan x0 1 -1 