Mul Pow Add x0 acosh Mul x0 pi x0 tan x3 
Mul tan x3 Mul Pow Add x0 acosh Mul x0 pi Add x0 -1 Add Mul x0 Add 1 Mul pi Pow Mul sqrt Add Mul x0 pi -1 sqrt Add 1 Mul x0 pi -1 Mul Add x0 acosh Mul x0 pi log Add x0 acosh Mul x0 pi 