atanh exp Add x0 Add Mul x2 5 Mul acot x0 Pow exp Mul x0 Mul x0 sin x0 x0 
Mul Mul exp Add x0 Add Mul x2 5 Mul acot x0 Pow exp Mul x0 Mul x0 sin x0 x0 Add 1 Add Mul Pow exp Mul x0 Mul x0 sin x0 x0 Mul -1 Pow Add 1 Mul x0 x0 -1 Mul acot x0 Mul Pow exp Mul x0 Mul x0 sin x0 Add x0 -1 Add Mul x0 Mul exp Mul x0 Mul x0 sin x0 Add Mul x0 sin x0 Mul x0 Add sin x0 Mul x0 cos x0 Mul exp Mul x0 Mul x0 sin x0 log exp Mul x0 Mul x0 sin x0 Pow Add 1 Mul -1 Mul exp Add x0 Add Mul x2 5 Mul acot x0 Pow exp Mul x0 Mul x0 sin x0 x0 exp Add x0 Add Mul x2 5 Mul acot x0 Pow exp Mul x0 Mul x0 sin x0 x0 -1 