Mul Mul x0 0.463647609000806 Mul Mul x0 x0 sec Mul 3 Pow cos Mul atanh x1 -3 x0 
Add Mul Mul Mul x0 x0 sec Mul 3 Pow cos Mul atanh x1 -3 x0 0.463647609000806 Mul Mul x0 0.463647609000806 Add Mul sec Mul 3 Pow cos Mul atanh x1 -3 x0 Add x0 x0 Mul Mul x0 x0 Mul Mul tan Mul 3 Pow cos Mul atanh x1 -3 x0 sec Mul 3 Pow cos Mul atanh x1 -3 x0 Mul 3 Mul Pow cos Mul atanh x1 -3 Add x0 -1 Mul cos Mul atanh x1 -3 log cos Mul atanh x1 -3 