Mul Add Mul x0 Pow csch log asech x0 x3 Add pi Mul x0 x0 x1 
Mul x1 Add Add Pow csch log asech x0 x3 Mul x0 Mul Pow csch log asech x0 Add x3 -1 Mul x3 Mul Mul Mul -1 coth log asech x0 csch log asech x0 Mul Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Pow asech x0 -1 Add x0 x0 