acosh Add Add x3 asec x5 Pow Add x6 Pow acosh x0 x0 Add Add sinh Mul x0 atanh x0 x5 Add x3 pi 
Mul Mul Pow Add x6 Pow acosh x0 x0 Add Add Add sinh Mul x0 atanh x0 x5 Add x3 pi -1 Add Mul Add Add sinh Mul x0 atanh x0 x5 Add x3 pi Mul Pow acosh x0 Add x0 -1 Add Mul x0 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Mul acosh x0 log acosh x0 Mul Mul Add x6 Pow acosh x0 x0 log Add x6 Pow acosh x0 x0 Mul cosh Mul x0 atanh x0 Add atanh x0 Mul x0 Pow Add 1 Mul -1 Mul x0 x0 -1 Pow Mul sqrt Add Add Add x3 asec x5 Pow Add x6 Pow acosh x0 x0 Add Add sinh Mul x0 atanh x0 x5 Add x3 pi -1 sqrt Add 1 Add Add x3 asec x5 Pow Add x6 Pow acosh x0 x0 Add Add sinh Mul x0 atanh x0 x5 Add x3 pi -1 