Pow Pow pi pi Pow x0 Add Add x0 x0 Add Add Add sqrt x2 Add x0 atanh acosh x0 acsch x4 -3 
Mul Pow Pow pi pi Add Pow x0 Add Add x0 x0 Add Add Add sqrt x2 Add x0 atanh acosh x0 acsch x4 -3 -1 Mul Mul Pow pi pi log Pow pi pi Mul Pow x0 Add Add Add x0 x0 Add Add Add sqrt x2 Add x0 atanh acosh x0 acsch x4 -3 -1 Add Add Add x0 x0 Add Add Add sqrt x2 Add x0 atanh acosh x0 acsch x4 -3 Mul Mul x0 log x0 Add 2 Add 1 Mul Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Pow Add 1 Mul -1 Mul acosh x0 acosh x0 -1 