tan Add Mul -7.01525255143453 x0 Pow acosh exp atanh x0 Add -3 x1 
Mul Pow sec Add Mul -7.01525255143453 x0 Pow acosh exp atanh x0 Add -3 x1 2 Add -7.01525255143453 Mul Pow acosh exp atanh x0 Add Add -3 x1 -1 Mul Add -3 x1 Mul Mul exp atanh x0 Pow Add 1 Mul -1 Mul x0 x0 -1 Pow Mul sqrt Add exp atanh x0 -1 sqrt Add 1 exp atanh x0 -1 