tan Add Pow exp atanh x0 -0.756802495307928 Mul -5 Add Add acot x7 Add x5 x5 2 
Mul Pow sec Add Pow exp atanh x0 -0.756802495307928 Mul -5 Add Add acot x7 Add x5 x5 2 2 Mul Pow exp atanh x0 -1.75680249530793 Mul -0.756802495307928 Mul exp atanh x0 Pow Add 1 Mul -1 Mul x0 x0 -1 