Mul 2 Mul Add Add Mul x0 x4 asinh Mul Pow Mul acoth E x0 log exp x0 x0 pi Mul x2 3 
Mul 2 Mul Mul x2 3 Add x4 Mul Add Mul x0 Mul Pow Mul acoth E x0 Add log exp x0 -1 Add Mul log exp x0 acoth E Mul Mul Mul acoth E x0 log Mul acoth E x0 Mul exp x0 Pow exp x0 -1 Pow Mul acoth E x0 log exp x0 Pow sqrt Add 1 Mul Mul Pow Mul acoth E x0 log exp x0 x0 Mul Pow Mul acoth E x0 log exp x0 x0 -1 