sin asin Add Mul atanh x0 0.648054273663885 sec x3 
Mul cos asin Add Mul atanh x0 0.648054273663885 sec x3 Mul Mul 0.648054273663885 Pow Add 1 Mul -1 Mul x0 x0 -1 Pow sqrt Add 1 Mul -1 Mul Add Mul atanh x0 0.648054273663885 sec x3 Add Mul atanh x0 0.648054273663885 sec x3 -1 