Mul tan x0 atanh Add Add x1 x0 7.38905609893065 
Add Mul atanh Add Add x1 x0 7.38905609893065 Pow sec x0 2 Mul tan x0 Pow Add 1 Mul -1 Mul Add Add x1 x0 7.38905609893065 Add Add x1 x0 7.38905609893065 -1 