sech Mul Mul Pow exp Mul acosh x0 x6 Mul x0 x7 74.2032105777888 x0 
Mul Mul tanh Mul Mul Pow exp Mul acosh x0 x6 Mul x0 x7 74.2032105777888 x0 Mul -1 sech Mul Mul Pow exp Mul acosh x0 x6 Mul x0 x7 74.2032105777888 x0 Add Mul x0 Mul 74.2032105777888 Mul Pow exp Mul acosh x0 x6 Add Mul x0 x7 -1 Add Mul Mul x0 x7 Mul exp Mul acosh x0 x6 Mul x6 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Mul Mul exp Mul acosh x0 x6 log exp Mul acosh x0 x6 x7 Mul Pow exp Mul acosh x0 x6 Mul x0 x7 74.2032105777888 