Pow Mul Pow x0 Add acosh x5 cos Mul pi -4 2 Pow Add sqrt Mul -3 x0 0.785398163397448 x1 
Mul Pow Mul Pow x0 Add acosh x5 cos Mul pi -4 2 Add Pow Add sqrt Mul -3 x0 0.785398163397448 x1 -1 Add Mul Pow Add sqrt Mul -3 x0 0.785398163397448 x1 Mul 2 Mul Pow x0 Add Add acosh x5 cos Mul pi -4 -1 Add acosh x5 cos Mul pi -4 Mul Mul Mul Pow x0 Add acosh x5 cos Mul pi -4 2 log Mul Pow x0 Add acosh x5 cos Mul pi -4 2 Mul Pow Add sqrt Mul -3 x0 0.785398163397448 Add x1 -1 Mul x1 Mul Pow Mul 2 sqrt Mul -3 x0 -1 -3 