Mul Add atanh Add Add -1 x0 Pow Mul Mul -2 asin x1 atanh x0 2 Pow Mul 4 x5 Mul cos tan x3 x0 pi 
Mul pi Add Mul Add 1 Mul Mul Mul -2 asin x1 atanh x0 Mul 2 Mul Mul -2 asin x1 Pow Add 1 Mul -1 Mul x0 x0 -1 Pow Add 1 Mul -1 Mul Add Add -1 x0 Pow Mul Mul -2 asin x1 atanh x0 2 Add Add -1 x0 Pow Mul Mul -2 asin x1 atanh x0 2 -1 Mul Pow Mul 4 x5 Add Mul cos tan x3 x0 -1 Mul Mul Mul 4 x5 log Mul 4 x5 cos tan x3 