Mul asin Add Pow x3 x3 sinh x0 Mul -2 Mul Pow exp x4 x0 0.500000000000000 
Add Mul Mul -2 Mul Pow exp x4 x0 0.500000000000000 Mul cosh x0 Pow sqrt Add 1 Mul -1 Mul Add Pow x3 x3 sinh x0 Add Pow x3 x3 sinh x0 -1 Mul asin Add Pow x3 x3 sinh x0 Mul -2 Mul 0.500000000000000 Mul Pow exp x4 Add x0 -1 Mul exp x4 log exp x4 