Pow Mul cos x7 x0 Add cosh asech Pow Mul x0 atanh x0 x0 Mul x0 asech pi 
Mul Pow Mul cos x7 x0 Add Add cosh asech Pow Mul x0 atanh x0 x0 Mul x0 asech pi -1 Add Mul Add cosh asech Pow Mul x0 atanh x0 x0 Mul x0 asech pi cos x7 Mul Mul Mul cos x7 x0 log Mul cos x7 x0 Add Mul sinh asech Pow Mul x0 atanh x0 x0 Mul Mul Pow Mul x0 atanh x0 Add x0 -1 Add Mul x0 Add atanh x0 Mul x0 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Mul x0 atanh x0 log Mul x0 atanh x0 Pow Mul Mul Pow Mul x0 atanh x0 x0 Pow Mul x0 atanh x0 x0 sqrt Add 1 Mul -1 Pow Mul Pow Mul x0 atanh x0 x0 Pow Mul x0 atanh x0 x0 -1 -1 asech pi 