Pow x0 Add acsch x3 Pow Pow 0.785443563327180 x0 x0 
Mul Pow x0 Add Add acsch x3 Pow Pow 0.785443563327180 x0 x0 -1 Add Add acsch x3 Pow Pow 0.785443563327180 x0 x0 Mul Mul x0 log x0 Mul Pow Pow 0.785443563327180 x0 Add x0 -1 Add Mul x0 Mul Pow 0.785443563327180 Add x0 -1 0.543936891371907 Mul Pow 0.785443563327180 x0 log Pow 0.785443563327180 x0 