acoth Add Pow Mul x0 2 acosh atan Add x0 csch Mul Add 4 x5 Pow acoth x2 0.250000000000000 x3 
Mul Mul Pow Mul x0 2 Add acosh atan Add x0 csch Mul Add 4 x5 Pow acoth x2 0.250000000000000 -1 Add Mul acosh atan Add x0 csch Mul Add 4 x5 Pow acoth x2 0.250000000000000 2 Mul Mul Mul x0 2 log Mul x0 2 Mul Pow Add 1 Mul Add x0 csch Mul Add 4 x5 Pow acoth x2 0.250000000000000 Add x0 csch Mul Add 4 x5 Pow acoth x2 0.250000000000000 -1 Pow Mul sqrt Add atan Add x0 csch Mul Add 4 x5 Pow acoth x2 0.250000000000000 -1 sqrt Add 1 atan Add x0 csch Mul Add 4 x5 Pow acoth x2 0.250000000000000 -1 Pow Add 1 Mul -1 Mul Add Pow Mul x0 2 acosh atan Add x0 csch Mul Add 4 x5 Pow acoth x2 0.250000000000000 x3 Add Pow Mul x0 2 acosh atan Add x0 csch Mul Add 4 x5 Pow acoth x2 0.250000000000000 x3 -1 