Add Add Add Pow Pow tan asin x0 atanh x2 Mul atanh x3 x0 2 x0 x0 
Add Add Mul Pow Pow tan asin x0 atanh x2 Add Mul atanh x3 x0 -1 Add Mul Mul atanh x3 x0 Mul Pow tan asin x0 Add atanh x2 -1 Mul atanh x2 Mul Pow sec asin x0 2 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Mul Mul Pow tan asin x0 atanh x2 log Pow tan asin x0 atanh x2 atanh x3 1 1 