Mul x5 Add x7 Pow sec Add Mul x0 atanh x7 x0 Mul 3 tanh x0 
Mul x5 Mul Pow sec Add Mul x0 atanh x7 x0 Add Mul 3 tanh x0 -1 Add Mul Mul 3 tanh x0 Mul Mul tan Add Mul x0 atanh x7 x0 sec Add Mul x0 atanh x7 x0 Add atanh x7 1 Mul Mul sec Add Mul x0 atanh x7 x0 log sec Add Mul x0 atanh x7 x0 Mul 3 Pow sech x0 2 