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