Add tanh x0 Mul asin Add x0 Pow tan acosh x4 x0 x0 
Add Pow sech x0 2 Add Mul x0 Mul Add 1 Mul Pow tan acosh x4 Add x0 -1 Mul tan acosh x4 log tan acosh x4 Pow sqrt Add 1 Mul -1 Mul Add x0 Pow tan acosh x4 x0 Add x0 Pow tan acosh x4 x0 -1 asin Add x0 Pow tan acosh x4 x0 