exp Mul Add Pow Mul sec x7 2 Mul Mul atanh x4 x0 -2 x0 x0 
Mul exp Mul Add Pow Mul sec x7 2 Mul Mul atanh x4 x0 -2 x0 x0 Add Mul x0 Add Mul Pow Mul sec x7 2 Add Mul Mul atanh x4 x0 -2 -1 Mul Mul Mul sec x7 2 log Mul sec x7 2 Mul -2 atanh x4 1 Add Pow Mul sec x7 2 Mul Mul atanh x4 x0 -2 x0 