asinh Mul exp asec acoth Mul x0 Add x0 atanh cot E 4 
Mul Mul 4 Mul exp asec acoth Mul x0 Add x0 atanh cot E Mul Mul Add Add x0 atanh cot E x0 Pow Add 1 Mul -1 Mul Mul x0 Add x0 atanh cot E Mul x0 Add x0 atanh cot E -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul acoth Mul x0 Add x0 atanh cot E acoth Mul x0 Add x0 atanh cot E -1 acoth Mul x0 Add x0 atanh cot E acoth Mul x0 Add x0 atanh cot E -1 Pow sqrt Add 1 Mul Mul exp asec acoth Mul x0 Add x0 atanh cot E 4 Mul exp asec acoth Mul x0 Add x0 atanh cot E 4 -1 