Add Pow pi cos Add Pow acosh x0 x1 atanh x5 x1 
Mul Pow pi Add cos Add Pow acosh x0 x1 atanh x5 -1 Mul Mul pi log pi Mul Mul -1 sin Add Pow acosh x0 x1 atanh x5 Mul Pow acosh x0 Add x1 -1 Mul x1 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 