Mul x5 cosh Pow sec x0 Add Mul x0 x0 cosh sin asin atanh x0 
Mul x5 Mul sinh Pow sec x0 Add Mul x0 x0 cosh sin asin atanh x0 Mul Pow sec x0 Add Add Mul x0 x0 cosh sin asin atanh x0 -1 Add Mul Add Mul x0 x0 cosh sin asin atanh x0 Mul tan x0 sec x0 Mul Mul sec x0 log sec x0 Add Add x0 x0 Mul sinh sin asin atanh x0 Mul cos asin atanh x0 Mul Pow Add 1 Mul -1 Mul x0 x0 -1 Pow sqrt Add 1 Mul -1 Mul atanh x0 atanh x0 -1 