sech Pow sin asin Mul x0 2 Add x5 x3 
Mul Mul tanh Pow sin asin Mul x0 2 Add x5 x3 Mul -1 sech Pow sin asin Mul x0 2 Add x5 x3 Mul Pow sin asin Mul x0 2 Add Add x5 x3 -1 Mul Add x5 x3 Mul cos asin Mul x0 2 Mul 2 Pow sqrt Add 1 Mul -1 Mul Mul x0 2 Mul x0 2 -1 