Mul sech x2 Pow Add x0 Pow 0.283662185463226 x6 Add Add acosh x1 x4 Pow exp acoth x0 x0 
Mul sech x2 Mul Pow Add x0 Pow 0.283662185463226 x6 Add Add Add acosh x1 x4 Pow exp acoth x0 x0 -1 Add Add Add acosh x1 x4 Pow exp acoth x0 x0 Mul Mul Add x0 Pow 0.283662185463226 x6 log Add x0 Pow 0.283662185463226 x6 Mul Pow exp acoth x0 Add x0 -1 Add Mul x0 Mul exp acoth x0 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul exp acoth x0 log exp acoth x0 