atanh asin Add 0.487773627308108 sec x0 
Mul Mul Mul tan x0 sec x0 Pow sqrt Add 1 Mul -1 Mul Add 0.487773627308108 sec x0 Add 0.487773627308108 sec x0 -1 Pow Add 1 Mul -1 Mul asin Add 0.487773627308108 sec x0 asin Add 0.487773627308108 sec x0 -1 