Mul x7 Mul Mul 148.413159102577 x3 Pow Pow Add 4 exp x0 Mul Mul 3 x0 acosh Mul x2 E Pow tanh x7 pi 
Mul x7 Mul Mul 148.413159102577 x3 Mul Pow Pow Add 4 exp x0 Mul Mul 3 x0 acosh Mul x2 E Add Pow tanh x7 pi -1 Mul Pow tanh x7 pi Mul Pow Add 4 exp x0 Add Mul Mul 3 x0 acosh Mul x2 E -1 Add Mul Mul Mul 3 x0 acosh Mul x2 E exp x0 Mul Mul Add 4 exp x0 log Add 4 exp x0 Mul acosh Mul x2 E 3 