Mul Pow acsc Add Mul x7 Add 2401 acosh x0 x7 x0 Add x0 pi 
Add Mul Add x0 pi Mul Pow acsc Add Mul x7 Add 2401 acosh x0 x7 Add x0 -1 Add Mul x0 Mul -1 Mul Mul x7 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Add Mul x7 Add 2401 acosh x0 x7 Add Mul x7 Add 2401 acosh x0 x7 -1 Add Mul x7 Add 2401 acosh x0 x7 Add Mul x7 Add 2401 acosh x0 x7 -1 Mul acsc Add Mul x7 Add 2401 acosh x0 x7 log acsc Add Mul x7 Add 2401 acosh x0 x7 Pow acsc Add Mul x7 Add 2401 acosh x0 x7 x0 