Pow Mul Add sinh atan x0 -4 Add Mul 0.804895099440533 asec x0 3 Add -4 Mul 2 Mul x0 Pow x0 atanh x3 
Mul Pow Mul Add sinh atan x0 -4 Add Mul 0.804895099440533 asec x0 3 Add Add -4 Mul 2 Mul x0 Pow x0 atanh x3 -1 Add Mul Add -4 Mul 2 Mul x0 Pow x0 atanh x3 Add Mul Add Mul 0.804895099440533 asec x0 3 Mul cosh atan x0 Pow Add 1 Mul x0 x0 -1 Mul Add sinh atan x0 -4 Mul 0.804895099440533 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 x0 x0 -1 Mul Mul Mul Add sinh atan x0 -4 Add Mul 0.804895099440533 asec x0 3 log Mul Add sinh atan x0 -4 Add Mul 0.804895099440533 asec x0 3 Mul 2 Add Pow x0 atanh x3 Mul x0 Mul Pow x0 Add atanh x3 -1 atanh x3 