Mul x2 Mul Pow pi Pow pi Pow Add acosh Mul x0 pi sec Add x0 x3 x0 asinh x1 
Mul x2 Mul asinh x1 Mul Pow pi Add Pow pi Pow Add acosh Mul x0 pi sec Add x0 x3 x0 -1 Mul Mul pi log pi Mul Pow pi Add Pow Add acosh Mul x0 pi sec Add x0 x3 x0 -1 Mul Mul pi log pi Mul Pow Add acosh Mul x0 pi sec Add x0 x3 Add x0 -1 Add Mul x0 Add Mul pi Pow Mul sqrt Add Mul x0 pi -1 sqrt Add 1 Mul x0 pi -1 Mul tan Add x0 x3 sec Add x0 x3 Mul Add acosh Mul x0 pi sec Add x0 x3 log Add acosh Mul x0 pi sec Add x0 x3 