Mul Pow x0 Mul tan Add E Add x0 atanh asech x4 x0 Mul x7 -0.653643620863612 
Mul Mul x7 -0.653643620863612 Mul Pow x0 Add Mul tan Add E Add x0 atanh asech x4 x0 -1 Add Mul tan Add E Add x0 atanh asech x4 x0 Mul Mul x0 log x0 Add Mul x0 Pow sec Add E Add x0 atanh asech x4 2 tan Add E Add x0 atanh asech x4 