Pow Mul Pow acosh Add pi x0 x4 x5 tan Pow x5 Mul x4 pi 
Mul Pow Mul Pow acosh Add pi x0 x4 x5 Add tan Pow x5 Mul x4 pi -1 Mul tan Pow x5 Mul x4 pi Mul x5 Mul Pow acosh Add pi x0 Add x4 -1 Mul x4 Pow Mul sqrt Add Add pi x0 -1 sqrt Add 1 Add pi x0 -1 