atanh Mul Pow cosh asech Mul Mul x3 x4 2 x0 x3 
Mul Mul x3 Mul Pow cosh asech Mul Mul x3 x4 2 Add x0 -1 Mul cosh asech Mul Mul x3 x4 2 log cosh asech Mul Mul x3 x4 2 Pow Add 1 Mul -1 Mul Mul Pow cosh asech Mul Mul x3 x4 2 x0 x3 Mul Pow cosh asech Mul Mul x3 x4 2 x0 x3 -1 