sqrt Mul Pow x3 Mul x0 Mul x0 Mul acosh asech x0 csch Add x0 atanh x0 x0 
Mul Pow Mul 2 sqrt Mul Pow x3 Mul x0 Mul x0 Mul acosh asech x0 csch Add x0 atanh x0 x0 -1 Add Mul x0 Mul Pow x3 Add Mul x0 Mul x0 Mul acosh asech x0 csch Add x0 atanh x0 -1 Mul Mul x3 log x3 Add Mul x0 Mul acosh asech x0 csch Add x0 atanh x0 Mul x0 Add Mul acosh asech x0 csch Add x0 atanh x0 Mul x0 Add Mul csch Add x0 atanh x0 Mul Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Pow Mul sqrt Add asech x0 -1 sqrt Add 1 asech x0 -1 Mul acosh asech x0 Mul Mul Mul -1 coth Add x0 atanh x0 csch Add x0 atanh x0 Add 1 Pow Add 1 Mul -1 Mul x0 x0 -1 Pow x3 Mul x0 Mul x0 Mul acosh asech x0 csch Add x0 atanh x0 